On the public citation graph

Introduction to Constraint Databases

0 signed · 147 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/bf00433660openalex-snapshot

5. Computational complexity

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/9781118601457.biblioopenalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1007/11527862_1openalex-snapshot

Verifying the Incorrectness of Programs and Automata

inferred← citeshttps://doi.org/10.1007/11539452_39openalex-snapshot

Verification of Qualitative ℤ Constraints

inferred← citeshttps://doi.org/10.1007/11547686_13openalex-snapshot

The Expressivity of Constraint Query Languages with Boolean Algebra Linear Cardinality Constraints

inferred← citeshttps://doi.org/10.1007/3-540-36206-1_12openalex-snapshot

An Automata-Theoretic Approach to Constraint LTL

inferred← citeshttps://doi.org/10.1007/3-540-45628-7_19openalex-snapshot

Constraint Logic Programming

inferred← citeshttps://doi.org/10.1007/3-540-45799-2_11openalex-snapshot

A Comparison of Spatio-temporal Interpolation Methods

inferred← citeshttps://doi.org/10.1007/3-540-46439-5_30openalex-snapshot

Parametric Rectangles: A Model for Querying and Animation of Spatiotemporal Databases

inferred← citeshttps://doi.org/10.1007/978-0-387-35973-1_1460openalex-snapshot

Visualizing Constraint Data

inferred← citeshttps://doi.org/10.1007/978-0-387-35973-1_696openalex-snapshot

Linear Versus Polynomial Constraint Databases

inferred← citeshttps://doi.org/10.1007/978-0-387-39940-9_391openalex-snapshot

Temporal Constraints

inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_13openalex-snapshot

Real Algebraic Geometry and Constraint Databases

inferred← citeshttps://doi.org/10.1007/978-1-4614-8265-9_1240openalex-snapshot

Constraint Query Languages

inferred← citeshttps://doi.org/10.1007/978-1-4614-8265-9_1241openalex-snapshot

Incomplete Information

inferred← citeshttps://doi.org/10.1007/978-1-4614-8265-9_1268openalex-snapshot

Constraint Databases

inferred← citeshttps://doi.org/10.1007/978-1-4614-8265-9_391openalex-snapshot

Temporal Constraints

inferred← citeshttps://doi.org/10.1007/978-1-4899-7993-3_1240-2openalex-snapshot

Constraint Query Languages

inferred← citeshttps://doi.org/10.1007/978-1-4899-7993-3_1241-2openalex-snapshot

Incomplete Information

inferred← citeshttps://doi.org/10.1007/978-1-4899-7993-3_1268-2openalex-snapshot

Constraint Databases

inferred← citeshttps://doi.org/10.1007/978-1-4899-7993-3_391-2openalex-snapshot

Temporal Constraints

inferred← citeshttps://doi.org/10.1007/978-3-031-23161-2_300700openalex-snapshot

Knowledge Representation and Reasoning

inferred← citeshttps://doi.org/10.1007/978-3-031-43619-2_23openalex-snapshot

First Steps Towards Taming Description Logics with Strings

inferred← citeshttps://doi.org/10.1007/978-3-319-17885-1_1460openalex-snapshot

Constraint Data, Visualizing

inferred← citeshttps://doi.org/10.1007/978-3-319-17885-1_186openalex-snapshot

Constraint Database Queries

inferred← citeshttps://doi.org/10.1007/978-3-319-17885-1_188openalex-snapshot

Constraint Databases and Data Interpolation

inferred← citeshttps://doi.org/10.1007/978-3-319-17885-1_189openalex-snapshot

Constraint Databases and Moving Objects

inferred← citeshttps://doi.org/10.1007/978-3-319-17885-1_696openalex-snapshot

Linear Versus Polynomial Constraint Databases

inferred← citeshttps://doi.org/10.1007/978-3-319-17885-1_949openalex-snapshot

Pandemics, Detection and Management

inferred← citeshttps://doi.org/10.1007/978-3-319-23519-6_1001-3openalex-snapshot

Polynomial Spatial Constraint Databases

inferred← citeshttps://doi.org/10.1007/978-3-319-23519-6_1456-2openalex-snapshot

Visualization of Spatial Constraint Databases

inferred← citeshttps://doi.org/10.1007/978-3-319-23519-6_186-2openalex-snapshot

Constraint Database Queries

inferred← citeshttps://doi.org/10.1007/978-3-319-23519-6_188-2openalex-snapshot

Constraint Databases and Data Interpolation

inferred← citeshttps://doi.org/10.1007/978-3-319-23519-6_189-2openalex-snapshot

Constraint Databases and Moving Objects

inferred← citeshttps://doi.org/10.1007/978-3-319-23519-6_190-3openalex-snapshot

Constraint Databases, Spatial

inferred← citeshttps://doi.org/10.1007/978-3-319-23519-6_696-4openalex-snapshot

Linear Versus Polynomial Constraint Databases

inferred← citeshttps://doi.org/10.1007/978-3-319-70688-7_10openalex-snapshot

High-Level Knowledge Representation and Reasoning in a Cognitive IoT/WoT Context

inferred← citeshttps://doi.org/10.1007/978-3-540-25954-1_1openalex-snapshot

Constraint Databases, Data Structures and Efficient Query Evaluation

inferred← citeshttps://doi.org/10.1007/978-3-540-25954-1_10openalex-snapshot

Taking Constraints out of Constraint Databases

inferred← citeshttps://doi.org/10.1007/978-3-540-25954-1_11openalex-snapshot

Integrating Constraint and Relational Database Systems

inferred← citeshttps://doi.org/10.1007/978-3-540-25954-1_2openalex-snapshot

A New Shape Function Based Spatiotemporal Interpolation Method

inferred← citeshttps://doi.org/10.1007/978-3-540-25954-1_3openalex-snapshot

Moving Objects and Their Equations of Motion

inferred← citeshttps://doi.org/10.1007/978-3-540-25954-1_4openalex-snapshot

A Triangle-Based Logic for Affine-Invariant Querying of Two-Dimensional Spatial Data

inferred← citeshttps://doi.org/10.1007/978-3-540-25954-1_5openalex-snapshot

Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis

inferred← citeshttps://doi.org/10.1007/978-3-540-25954-1_6openalex-snapshot

Constraint Database Solutions to the Genome Map Assembly Problem

inferred← citeshttps://doi.org/10.1007/978-3-540-25954-1_9openalex-snapshot

Constraint Processing Techniques for Improving Join Computation: A Proof of Concept

inferred← citeshttps://doi.org/10.1007/978-3-540-30204-9_1openalex-snapshot

Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints

inferred← citeshttps://doi.org/10.1007/978-3-540-30498-2_94openalex-snapshot

Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering

inferred← citeshttps://doi.org/10.1007/978-3-540-45072-6_20openalex-snapshot

Region-Based Query Languages for Spatial Databases in the Topological Data Model

inferred← citeshttps://doi.org/10.1007/978-3-540-69052-8_39openalex-snapshot

Efficient Handling of Relational Database Combinatorial Queries Using CSPs

inferred← citeshttps://doi.org/10.1007/978-3-540-69738-1_24openalex-snapshot

The Constraint Database Approach to Software Verification

inferred← citeshttps://doi.org/10.1007/978-3-540-73580-9_6openalex-snapshot

CDB-PV: A Constraint Database-Based Program Verifier

inferred← citeshttps://doi.org/10.1007/978-3-540-75177-9_13openalex-snapshot

Querying and Reasoning for Spatiotemporal Data Mining

inferred← citeshttps://doi.org/10.1007/978-3-540-77220-0_49openalex-snapshot

Accomplishing Approximate FCFS Fairness Without Queues

inferred← citeshttps://doi.org/10.1007/978-3-540-85713-6_17openalex-snapshot

Reclassification of Linearly Classified Data Using Constraint Databases

inferred← citeshttps://doi.org/10.1007/978-3-642-02846-5_31openalex-snapshot

User Defined Indexing

inferred← citeshttps://doi.org/10.1007/978-3-642-03973-7_25openalex-snapshot

Temporal Data Classification Using Linear Classifiers

inferred← citeshttps://doi.org/10.1007/978-3-642-04170-9_6openalex-snapshot

CSP Techniques for Solving Combinatorial Queries within Relational Databases

inferred← citeshttps://doi.org/10.1007/978-3-642-04761-9_16openalex-snapshot

Automated Analysis of Data-Dependent Programs with Dynamic Memory

inferred← citeshttps://doi.org/10.1007/978-3-642-13486-9_29openalex-snapshot

Modeling and Querying Metadata in the Semantic Sensor Web: The Model stRDF and the Query Language stSPARQL

inferred← citeshttps://doi.org/10.1007/978-3-642-33158-9_8openalex-snapshot

Data Models and Query Languages for Linked Geospatial Data

inferred← citeshttps://doi.org/10.1007/978-3-642-41033-8_61openalex-snapshot

Including Spatial/Temporal Objects in ORM

inferred← citeshttps://doi.org/10.1007/s10707-008-0050-7openalex-snapshot

Efficient MaxCount and threshold operators of moving objects

inferred← citeshttps://doi.org/10.1007/s10707-020-00402-1openalex-snapshot

Affine-invariant querying of spatial data using a triangle-based logic

inferred← citeshttps://doi.org/10.1007/springerreference_61842openalex-snapshot

Constraint Database Queries

inferred← citeshttps://doi.org/10.1016/b978-0-12-809764-9.00005-6openalex-snapshot

A Semantic-Rich Approach to IoT Using the Generalized World Entities Paradigm

inferred← citeshttps://doi.org/10.1016/b978-1-55860-932-7.x5083-3openalex-snapshot

Knowledge representation and reasoning

inferred← citeshttps://doi.org/10.1016/b978-155860932-7/50102-3openalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1016/j.artint.2012.10.001openalex-snapshot

Computational complexity of linear constraints over the integers

inferred← citeshttps://doi.org/10.1016/j.artmed.2006.05.001openalex-snapshot

Spatiotemporal reasoning about epidemiological data

inferred← citeshttps://doi.org/10.1016/j.artmed.2010.02.003openalex-snapshot

Classification integration and reclassification using constraint databases

inferred← citeshttps://doi.org/10.1016/j.compenvurbsys.2014.02.002openalex-snapshot

STModelViz: A 3D spatiotemporal GIS using a constraint-based approach

inferred← citeshttps://doi.org/10.1016/j.datak.2008.09.002openalex-snapshot

Developing a labelled object-relational constraint database architecture for the projection operator

inferred← citeshttps://doi.org/10.1016/j.eswa.2014.04.047openalex-snapshot

Using Constraint Programming in Selection Operators for Constraint Databases

inferred← citeshttps://doi.org/10.1016/j.ic.2006.09.006openalex-snapshot

An automata-theoretic approach to constraint LTL

inferred← citeshttps://doi.org/10.1016/j.ic.2019.104485openalex-snapshot

HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems

inferred← citeshttps://doi.org/10.1016/j.is.2010.06.006openalex-snapshot

Temporal data classification using linear classifiers

inferred← citeshttps://doi.org/10.1016/j.jcss.2009.10.002openalex-snapshot

Trajectory databases: Data models, uncertainty and complete query languages

inferred← citeshttps://doi.org/10.1016/j.jlap.2013.07.002openalex-snapshot

An extended constraint deductive database: Theory and implementation

inferred← citeshttps://doi.org/10.1016/j.tcs.2004.10.034openalex-snapshot

On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases

inferred← citeshttps://doi.org/10.1016/j.tcs.2006.02.019openalex-snapshot

LTL over integer periodicity constraints

inferred← citeshttps://doi.org/10.1016/j.tcs.2008.07.023openalex-snapshot

Verification of qualitative Z constraints

inferred← citeshttps://doi.org/10.1016/s0198-9715(03)00018-8openalex-snapshot

Interpolation methods for spatio-temporal geographic data

inferred← citeshttps://doi.org/10.1016/s1574-6526(06)80023-4openalex-snapshot

Temporal CSPs

inferred← citeshttps://doi.org/10.1016/s1574-6526(06)x8001-xopenalex-snapshot

Handbook of Constraint Programming

inferred← citeshttps://doi.org/10.1017/s0269888921000084openalex-snapshot

A comprehensive overview of RDF for spatial and spatiotemporal data management

inferred← citeshttps://doi.org/10.1023/a:1016399308282openalex-snapshot

Efficient Querying and Animation of Periodic Spatio-Temporal Databases

inferred← citeshttps://doi.org/10.1023/a:1026086723558openalex-snapshot

Classes of Spatio-Temporal Objects and their Closure Properties

inferred← citeshttps://doi.org/10.1080/13658810902967397openalex-snapshot

An analytic solution to the alibi query in the space–time prisms model for moving object data

inferred← citeshttps://doi.org/10.1109/csf.2007.18openalex-snapshot

Design and Semantics of a Decentralized Authorization Language

inferred← citeshttps://doi.org/10.1109/csfw.2004.1310738openalex-snapshot

Cassandra: flexible trust management, applied to electronic health records

inferred← citeshttps://doi.org/10.1109/csfw.2004.7openalex-snapshot

Cassandra: flexible trust management, applied to electronic health records

inferred← citeshttps://doi.org/10.1109/gmai.2006.49openalex-snapshot

Visualization of Temporal-Oriented Datasets

inferred← citeshttps://doi.org/10.1109/gmai.2007.15openalex-snapshot

Efficient Affine-Invariant Similarity Retrieval

inferred← citeshttps://doi.org/10.1109/icccyb.2004.1437765openalex-snapshot

On the interoperability problems of the spatiotemporal relational model, PLAT

inferred← citeshttps://doi.org/10.1109/icccyb.2005.1511570openalex-snapshot

Reconstruction of planar graphs from their centered triangulations in some spatio-relational models

inferred← citeshttps://doi.org/10.1109/ideas.2005.24openalex-snapshot

Efficient Relational Joins with Arithmetic Constraints on Multiple Attributes

inferred← citeshttps://doi.org/10.1109/igarss.2002.1025767openalex-snapshot

Shape-based change detection and information mining in remote sensing

inferred← citeshttps://doi.org/10.1109/ines.2005.1555152openalex-snapshot

Combining spatial and topological data in a spatiotemporal relational model

inferred← citeshttps://doi.org/10.1109/iri.2003.1251429openalex-snapshot

Reusing mechanical engineering design

inferred← citeshttps://doi.org/10.1109/iti.2009.5196068openalex-snapshot

Information data flows and interfaces in financial management domain

inferred← citeshttps://doi.org/10.1109/iv.2004.1320206openalex-snapshot

Visualization of recursively defined concepts

inferred← citeshttps://doi.org/10.1109/iv.2004.149openalex-snapshot

Visualization of recursively defined concepts

inferred← citeshttps://doi.org/10.1109/policy.2004.1309162openalex-snapshot

Cassandra: distributed access control policies with tunable expressiveness

inferred← citeshttps://doi.org/10.1109/tgrs.2003.817267openalex-snapshot

A shape-based approach to change detection of lakes using time series remote sensing images

inferred← citeshttps://doi.org/10.1109/time.2003.1214887openalex-snapshot

Efficient aggregation over moving objects

inferred← citeshttps://doi.org/10.1109/time.2005.21openalex-snapshot

Efficient Rectangle Indexing Algorithms Based on Point Dominance

inferred← citeshttps://doi.org/10.1109/time.2005.28openalex-snapshot

On the Freeze Quantifier in Constraint LTL: Decidability and Complexity

inferred← citeshttps://doi.org/10.1109/time.2006.17openalex-snapshot

How Would You Like to Aggregate Your Temporal Data?

inferred← citeshttps://doi.org/10.1109/time.2006.3openalex-snapshot

A Spatiotemporal Database for Ozone in the Conterminous U.S.

inferred← citeshttps://doi.org/10.1109/time.2006.4openalex-snapshot

Adaptive Interpolation Algorithms for Temporal-Oriented Datasets

inferred← citeshttps://doi.org/10.1109/time.2006.5openalex-snapshot

Aggregation Estimation for 2D Moving Points

inferred← citeshttps://doi.org/10.1109/time.2010.27openalex-snapshot

Dealing with Uncertainty in Trajectory Databases

inferred← citeshttps://doi.org/10.1109/tkde.2006.193openalex-snapshot

Logic and Computational Complexity for Boolean Information Retrieval

inferred← citeshttps://doi.org/10.1109/wi.2003.1241208openalex-snapshot

Querying spatiotemporal XML using DataFoX

inferred← citeshttps://doi.org/10.1142/9789812796752_0004openalex-snapshot

A SHAPE-BASED APPROACH TO CHANGE DETECTION AND INFORMATION MINING IN REMOTE SENSING

inferred← citeshttps://doi.org/10.1145/1024694.1024726openalex-snapshot

Issues in mechanical engineering design management

inferred← citeshttps://doi.org/10.1145/1032222.1032233openalex-snapshot

Time-dependent affine triangulation of spatio-temporal data

inferred← citeshttps://doi.org/10.1145/1146598.1146678openalex-snapshot

Voting prediction using new spatiotemporal interpolation methods

inferred← citeshttps://doi.org/10.1145/1342991.1342997openalex-snapshot

First-order complete and computationally complete query languages for spatio-temporal databases

inferred← citeshttps://doi.org/10.1145/1559845.1559873openalex-snapshot

Generating example data for dataflow programs

inferred← citeshttps://doi.org/10.1145/1653771.1653824openalex-snapshot

A comparison of abstract data type and constraint database approaches to GIS query languages

inferred← citeshttps://doi.org/10.1145/778348.778349openalex-snapshot

In Memoriam

inferred← citeshttps://doi.org/10.1145/778348.778353openalex-snapshot

A retrospective on constraint databases

inferred← citeshttps://doi.org/10.1145/778348.778356openalex-snapshot

Extending the constraint database framework

inferred← citeshttps://doi.org/10.2178/bsl/1294171129openalex-snapshot

Well (and Better) Quasi-Ordered Transition Systems

inferred← citeshttps://doi.org/10.2201/niipi.2006.3.3openalex-snapshot

Binary spatial operations on cell complex using incidence graph implemented at a spatial database system Hawk Eye

inferred← citeshttps://doi.org/10.2478/ausi-2019-0001openalex-snapshot

Estimating the maximum rise in temperature according to climate models using abstract interpretation

inferred← citeshttps://doi.org/10.3166/jancl.16.311-347openalex-snapshot

Linear-time temporal logics with Presburger constraints: an overview ★

inferred← citeshttps://doi.org/10.3182/20060829-4-cn-2909.00251openalex-snapshot

IMPROVING THE DETERMINATION OF MINIMAL HITTING SETS IN MODEL-BASED DIAGNOSIS USING CONSTRAINT DATABASES

inferred← citeshttps://doi.org/10.3233/jcs-2009-0364openalex-snapshot

SecPAL: Design and semantics of a decentralized authorization language

inferred← citeshttps://doi.org/10.3390/ijgi6040100openalex-snapshot

Affine-Invariant Triangulation of Spatio-Temporal Data with an Application to Image Retrieval

inferred← citeshttps://doi.org/10.37614/2949-1215.2023.14.7.005openalex-snapshot

Reasoning with temporal constraints

inferred← citeshttps://doi.org/10.3808/jei.200800130openalex-snapshot

An Application of a Shape Function Based Spatiotemporal Interpolation Method to Ozone and Population-Based Environmental Exposure in the Contiguous U.S.

inferred← citeshttps://doi.org/10.4114/ia.v7i20.382openalex-snapshot

CSP and Restricted Databases

inferred← citeshttps://doi.org/10.4230/dagsemproc.07212.6openalex-snapshot

Constraint Databases and Geographic Information Systems

inferred← citeshttps://doi.org/10.46298/lmcs-19(4:38)2023openalex-snapshot

Efficient Evaluation of Arbitrary Relational Calculus Queries

inferred← citeshttps://doi.org/10.48456/tr-628openalex-snapshot

A formal security policy for an NHS electronic health record service

inferred← citeshttps://doi.org/10.48456/tr-648openalex-snapshot

Cassandra: flexible trust management and its application to electronic health records

inferred← citeshttps://doi.org/10.48550/arxiv.0712.1996openalex-snapshot

A case study of the difficulty of quantifier elimination in constraint databases: the alibi query in moving object databases

inferred← citeshttps://doi.org/10.48550/arxiv.0804.4740openalex-snapshot

An Affine-invariant Time-dependent Triangulation of Spatio-temporal Data

inferred← citeshttps://doi.org/10.48550/arxiv.0810.5725openalex-snapshot

A triangle-based logic for affine-invariant querying of spatial and spatio-temporal data

inferred← citeshttps://doi.org/10.48550/arxiv.cs/0611031openalex-snapshot

Efficient Threshold Aggregation of Moving Objects

inferred← citeshttps://doi.org/10.5555/1123098.1123171openalex-snapshot

Representation and querying of interpolation data in constraint databases

inferred← citeshttps://doi.org/10.5555/1123196.1123303openalex-snapshot

The relationship among GIS-oriented spatiotemporal databases

inferred← citeshttps://doi.org/10.5555/1124191.1124225openalex-snapshot

DOAS: a drought online analysis system with constraint databases

inferred← citeshttps://doi.org/10.5555/1124191.1124326openalex-snapshot

Voronoi region-based spatiotemporal GIS databases

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.