Integrating relational databases and constraint languages
Computer Languages
Structural complexity 2
SSD '90 Proceedings of the first symposium on Design and implementation of large spatial databases
ACM SIGACT News
Elements of relational database theory
Handbook of theoretical computer science (vol. B)
Conservativity of nested relational calculi with internal generic functions
Information Processing Letters
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
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Dense-order constraint databases (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
Normal forms and conservative extension properties for query languages over collection types
Journal of Computer and System Sciences
Foundations of multimedia database systems
Journal of the ACM (JACM)
Variable independence and aggregation closure
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Possibilities and limitations of using flat operators in nested algebra expressions
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
R-trees: a dynamic index structure for spatial searching
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Realm-based spatial data types: the ROSE algebra
The VLDB Journal — The International Journal on Very Large Data Bases
Representation and Querying in Temporal Databases: the Power of Temporal Constraints
Proceedings of the Ninth International Conference on Data Engineering
Spatial Databases, The Final Frontier
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Domain-Independent Queries on Databases with External Functions
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Datalog Queries of Set Constraint Databases
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Constraint Programming and Database Query Languages
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
The R+-Tree: A Dynamic Index for Multi-Dimensional Objects
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Toward Practical Constraint Databases
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Geo-SAL: A Query Language for Spatial Data Analysis
SSD '91 Proceedings of the Second International Symposium on Advances in Spatial Databases
On the Desirability and Limitations of Linear Spatial Database Models
SSD '95 Proceedings of the 4th International Symposium on Advances in Spatial Databases
Manipulating Spatial Data in Constraint Databases
SSD '97 Proceedings of the 5th International Symposium on Advances in Spatial Databases
Towards the Definition of a Spatial Object-Oriented Data Model with Constraints
Proceedings of the ESPRIT WG CONTESSA Workshop on Constraint Databases and Applications
DISCO: A Constraint Database System with Sets
Proceedings of the ESPRIT WG CONTESSA Workshop on Constraint Databases and Applications
Bounded Fixpoints for Complex Objects
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
A framework for data mining and KDD
Proceedings of the 2002 ACM symposium on Applied computing
Enhancing GISs for spatio-temporal reasoning
Proceedings of the 10th ACM international symposium on Advances in geographic information systems
Spatio-Temporal Data Handling with Constraints
Geoinformatica
A general strategy for decomposing topological invariants of spatial databases and an application
Data & Knowledge Engineering
Spatio-temporal Annotated Constraint Logic Programming
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Moving Objects: Logical Relationships and Queries
SSTD '01 Proceedings of the 7th International Symposium on Advances in Spatial and Temporal Databases
Introducing External Functions in Constraint Query Languages
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
MuTACLP: A Language for Declarative GIS Analysis
CL '00 Proceedings of the First International Conference on Computational Logic
Modeling Motion Qualitatively: Integrating Space and Time
CCIA '02 Proceedings of the 5th Catalonian Conference on AI: Topics in Artificial Intelligence
Constraint logic programming over sets of spatial objects
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Database query languages and functional logic programming
New Generation Computing
A representation independent language for planar spatial databases with Euclidean distance
Journal of Computer and System Sciences
Solving constraints on sets of spatial objects
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Deductive and inductive reasoning on spatio-temporal data
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
Hi-index | 0.00 |
Constraint relational databases use constraints to both model and query data. A constraint relation contains a finite set of generalized tuples. Each generalized tuple is represented by a conjunction of constraints on a given logical theory and, depending on the logical theory and the specific conjunction of constraints, it may possibly represent an infinite set of relational tuples. For their characteristics, constraint databases are well suited to model multidimensional and structured data, like spatial and temporal data. The definition of an algebra for constraint relational databases is important in order to make constraint databases a practical technology. In this paper, we extend the previously defined constraint algebra (called generalized relational algebra). First, we show that the relational model is not the only possible semantic reference model for constraint relational databases and we show how constraint relations can be interpreted under the nested relational model. Then, we introduce two distinct classes of constraint algebras, one based on the relational algebra, and one based on the nested relational algebra, and we present an algebra of the latter type. The algebra is proved equivalent to the generalized relational algebra when input relations are modified by introducing generalized tuple identifiers. However, from a user point of view, it is more suitable. Thus, the difference existing between such algebras is similar to the difference existing between the relational algebra and the nested relational algebra, dealing with only one level of nesting. We also show how external functions can be added to the proposed algebra.