Variable Independence in Constraint Databases

Authors:
Jan Chomicki;Dina Goldin;Gabriel Kuper;David Toman
Affiliations:
-;-;-;-
Venue:
IEEE Transactions on Knowledge and Data Engineering
Year:
2003

Citing 30
Cited 3

Extending relational algebra and relational calculus with set-valued attributes and aggregate functions

ACM Transactions on Database Systems (TODS)
Monotonic aggregation in deductive databases

PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The well-founded semantics of aggregation

PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A closed-form evaluation for Datalog queries with integer (gap)-order constraints

ICDT Selected papers of the 4th international conference on Database theory
Towards a theory of spatial database queries (extended abstract)

PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Extending the well-founded and valid semantics for aggregation

ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Constraint query languages

Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Separability of polyhedra for optimal filtering of spatial and constraint data

PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Measuring infinite relations

PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The LyriC language: querying constraint objects

SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Towards practical constraint databases (extended abstract)

PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Variable independence and aggregation closure

PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the decidability of semi-linearity for semi-algebraic sets and its implications for spatial databases (extended abstract)

PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Geometry of subanalytic and semialgebraic sets

Geometry of subanalytic and semialgebraic sets
Relational expressive power of constraint query languages

Journal of the ACM (JACM)
The DEDALE system for complex spatial queries

SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Arrangements

Handbook of discrete and computational geometry
Spatio-temporal data handling with constraints

Proceedings of the 6th ACM international symposium on Advances in geographic information systems
Querying constraints

PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Exact and approximate aggregation in constraint query languages

PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions

Journal of the ACM (JACM)
Some remarks on variable independence, closure, and orthographic dimension in constraint databases

ACM SIGMOD Record
Memoing Evaluation for Constraint Extensions of Datalog

Constraints
Constraint-based Interoperability of Spatiotemporal Databases*

Geoinformatica
Point-Based Temporal Extension of Temporal SQL

DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
Temporal Query Languages: A Survey

ICTL '94 Proceedings of the First International Conference on Temporal Logic
The Magic of Duplicates and Aggregates

VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Toward Practical Constraint Databases

VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
On the Desirability and Limitations of Linear Spatial Database Models

SSD '95 Proceedings of the 4th International Symposium on Advances in Spatial Databases
GIS: A Computing Perspective, 2nd Edition

GIS: A Computing Perspective, 2nd Edition

DATALOG with Constraints: A Foundation for Trust Management Languages

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Extending the constraint database framework

PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Developing a labelled object-relational constraint database architecture for the projection operator

Data & Knowledge Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we study constraint databases with variable independence conditions (vics). Such databases occur naturally in the context of temporal and spatiotemporal database applications. Using computational geometry techniques, we show that variable independence is decidable for linear constraint databases. We also present a set of rules for inferring vics in relational algebra expressions. Using vics, we define a subset of relational algebra that is closed under restricted aggregation.