the University of Toronto during 1991-92. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or direct commercial advantage and that copies show this notice on the first page or initial screen of a display along with the full citation. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works, requires prior specific permission and/or a fee. Permissions may be requested from Publications Dept, ACM
|
1009
|
editors. Foundations of Databases
– Abiteboul, Hull, et al.
- 1995
|
|
936
|
Principles of Database and Knowledge-Base Systems, Volume 1
– Ullman
- 1988
|
|
755
|
Constraint Logic Programming
– Jaffar, Lassez
- 1987
|
|
615
|
alski, ‘‘The semantics of predicate logic as a programming language
– Emden, Kow
- 1976
|
|
243
|
Structure and complexity of relational queries
– Chandra, Harel
- 1982
|
|
109
|
S.: Coral - control, relations and logic
– Ramakrishnan, Srivastava, et al.
- 1992
|
|
90
|
Constraint logic programming languages
– Cohen
- 1990
|
|
87
|
Towards a theory of spatial database queries. Extended abstract
– Paredaens, Bussche, et al.
- 1994
|
|
81
|
Logic programming with sets
– Kuper
- 1987
|
|
76
|
Relational expressive power of constraint query languages
– Benedikt, Dong, et al.
- 1998
|
|
67
|
Handling Infinite Temporal Data
– Kabanza, Stevenne, et al.
- 1995
|
|
64
|
Constraint programming and database query languages
– Kanellakis, Goldin
- 1994
|
|
62
|
Set Constraints: Results, Applications, and Future Directions
– Aiken
- 1994
|
|
61
|
From Logic to Logic Programming
– Doets
- 1994
|
|
43
|
On the Representation of Infinite Temporal Data and Queries
– Baudinet, Niezette, et al.
- 1991
|
|
41
|
Conjunto: Constraint logic programming with finite set domains
– Gervet
- 1994
|
|
39
|
Linear constraint databases
– Grumbach, Su, et al.
- 1995
|
|
39
|
LDL: A Logic-Based Data-Language
– Tsur, Zaniolo
- 1986
|
|
36
|
Toward practical constraint databases
– Brodsky, Jaffar, et al.
- 1993
|
|
33
|
Set Constraints and Set-Based Analysis
– Heintze, Jaffar
- 1994
|
|
31
|
Datalog with integer periodicity constraints
– Toman, Chomicki, et al.
- 1994
|
|
30
|
Constraint objects
– Srivastava, Ramakrishnan, et al.
- 1994
|
|
28
|
The LyriC language: Querying constraint objects
– Brodsky, Kornatzky
- 1995
|
|
27
|
Constraint programming and database languages: A tutorial
– Kanellakis
- 1995
|
|
27
|
A closed-form evaluation for Datalog queries with integer (gap)-order constraints
– Revesz
- 1993
|
|
22
|
Providing Better Support for a Class of Decision Support Queries
– Rao, Badia, et al.
- 1996
|
|
21
|
Measuring Infinite Relations
– Chomicki, Kuper
- 1995
|
|
20
|
Algebraic and calculus query languages for recursively typed complex objects
– Hull, Su
- 1993
|
|
20
|
On Safety, Domain Independence, and Capturability of Database Queries
– Kifer
- 1988
|
|
20
|
Complexity Results for First-Order Theories of Temporal Constraints
– Koubarakis
- 1994
|
|
17
|
Disco: A constraint database system with sets
– Byon, Revesz
- 1995
|
|
16
|
Decision procedures for constraint based extensions of Datalog
– Cox, McAloon
- 1993
|
|
15
|
Short overview of the CLPS system
– Legeard, Legros
- 1991
|
|
11
|
Embedding Extensional Finite Sets
– Dovier, Rossi
- 1993
|
|
3
|
Safe stratified datalog with integer order does not have syntax
– Stolboushkin, Taitslin
- 1995
|
|
1
|
Eclipse
– Eclipse
- 1994
|
|
1
|
Constraint Logic Programming: A Survey. popl 19
– Jaffar, Maher
- 1994
|
|
1
|
Languages for Constraint Databases \Delta 35
– Query
- 1990
|
|
1
|
Datalog Queries over Set Constraint Databases
– Revesz
- 1995
|
|
1
|
On the power of rule-based query languages for nested data models
– Vadaparty
- 1994
|
|
