Safe Query Languages for Constraint Databases

ACM Transactions on Database Systems

Volumn 23, Issue 1, 1998, Pages 58-99

  Revesz, Peter Z ^a  

^a UNIVERSITY OF NEBRASKA LINCOLN   (United States)

Author keywords

Algorithms; H.2.1 Database Management : Logical Design; H.2.3 Database Management : Languages Datalog; Languages; Query languages; Theory; Verification

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; DISTRIBUTED DATABASE SYSTEMS; ALGORITHMIC LANGUAGES; COMPUTER SIMULATION; LOGIC PROGRAMMING;

CONSTRAINT DATABASES;

QUERY LANGUAGES;

CONSTRAINT DATABASES; CONSTRAINT QUERY LANGUAGES; STRATIFIED DATALOG LANGUAGE; TURNING MACHINES;

EID: 0032010247     PISSN: 03625915     EISSN: None     Source Type: Journal    
DOI: 10.1145/288086.288088     Document Type: Article

References (45)

1. ABITEBOUL, S., HULL, R., AND VIANU, V. 1995. Foundations of Databases. Addison-Wesley Publishing Co., Reading, MA.
2. AIKEN, A. 1994. Set constraints: Results, applications and future directions. In Proceedings of the Second Workshop on Principles and Practice of Constraint Programming.
3. APT, K. R., BLAIR, H. A., AND WALKER, A. 1988. Towards a theory of declarative knowledge. In Foundations of Deductive Databases and Logic Programming. J. Minker, Ed. Morgan Kaufmann Publishers Inc., San Francisco, CA., 89-148.
4. BAUDINET, M., NIÉZETTE, M., AND WOLPER, P. 1991. On the representation of infinite temporal data and queries (extended abstract). In Proceedings of the Conference on the Principles of Database Systems (Denver, CO, May 29-31, 1991). ACM Press, New York, NY, 280-290.
5. BENEDIKT, M., DONG, G., LIBKIN, L., AND WONG, L. 1996. Relational expressive power of constraint query languages. In Proceedings of the ACM Symposium on the Principles of Database Systems. ACM Press, New York, NY, 5-16.
6. BRODSKY, A., JAFFAR, J., AND MAHER, M. 1993. Towards practical constraint databases. In Proceedings of the International Conference on Very Large Data Bases (Dublin, Ireland).
7. BRODSKY, A. AND KORNATZKY, Y. 1995. The Lyric language: querying constraint objects. In Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data (San Jose, CA, May 23-25, 1995). M. Carey and D. Schneider, Eds. ACM Press, New York, NY, 35-46.
8. BYON, J. AND REVESZ, P. 1995. DISCO: A constraint database system with sets. In Proceedings of the Workshop on Constraint Databases and Applications. Springer-Verlag, New York, NY.
9. CHANDRA, A. AND HAREL, D. 1982. Structure and complexity of relational queries. J. Comput. Syst. Sci. 25, 99-128.
10. CHOMICKI, J. AND KUPER, G. 1995. Measuring infinite relations. In Proceedings of the 14th ACM SIGACT-SIGMOD-SIGART Symposium on the Principles of Database Systems (San Jose, CA, May 22-25, 1995). ACM Press, New York, NY, 78-85.
11. CHOMICKI, J. AND IMIELINSKI, T. 1993. Finite representation of infinite query answers. ACM Trans. Database Syst. 18, 2 (June), 181-223.
12. COHEN, J. 1990. Constraint logic programming languages. Commun. ACM 33, 7 (July), 52-68.
13. COX, J. AND MCALOON, K. 1993. Decision procedure for constraint based extensions of Datalog. In Constraint Logic Programming: Selected Research. F. Benhamou and A. Colmerauer, Eds. MIT Press series in logic programming. MIT Press, Cambridge, MA., 17-32.
14. DOETS, H. 1994. From Logic to Logic Programming. MIT Press, Cambridge, MA.
15. DOVIER, A. AND ROSSI, G. 1993. Embedding extensional finite sets in CLP. In Proceedings of the 1993 International Symposium on Logic Programming (Vancouver, BC, Canada, 26-29 Oct. 1993). D. Miller, Ed., MIT Press series in logic programming. MIT Press, Cambridge, MA, 540-556.
16. ECLIPSE 1994. Eclipse. Tech. Rep. European Community Research Center.
17. GERVET, C. 1994. Conjunto: constraint logic programming with finite set domains. In Proceedings of the 1994 International Symposium on Logic Programming (Melbourne, 1994). M. Bruynooghe, Ed. MIT Press, Cambridge, MA, 339-358.
18. GRUMBACH, S. AND SU, J. 1995. Dense-order constraint databases (extended abstract). In Proceedings of the 14th ACM SIGACT-SIGMOD-SIGART Symposium on the Principles of Database Systems (San Jose, CA, May 22-25, 1995). ACM Press, New York, NY, 66-77.
19. HEINTZE, H. AND JAFFAR, J. 1994. Set constraints and set-based analysis. In Proceedings of the Second Workshop on Principles and Practice of Constraint Programming.
20. HULL, R. AND SU, J. 1993. Algebraic and calculus query languages for recursively typed complex objects. J. Comput. Syst. Sci. 47, 1 (Aug.), 121-156.
21. JAFFAR, J. AND LASSEZ, J.-L. 1987. Constraint logic programming. In Proceedings of the 14th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (Munich, Germany, Jan. 21-23, 1987). ACM Press, New York, NY, 111-119.
22. JAFFAR, J. AND MAHER, M. 1994. Constraint logic programming: A survey. In Proceedings of the ACM SIGPLAN-SIGART Symposium on the Principles of Programming Languages (Portland, OR, Jan. 17-21, 1994). ACM Press, New York, NY, 503-581.
23. KABANZA, F., STÉVENNE, J.-M., AND WOLPER, P. 1995. Handling infinite temporal data. J. Comput. Syst. Sci. 51, 1 (Aug.), 3-17.
24. KANELLAKIS, P. C. 1995. Constraint programming and database languages: a tutorial. In Proceedings of the 14th ACM SIGACT-SIGMOD-SIGART Symposium on the Principles of Database Systems (San Jose, CA, May 22-25, 1995). ACM Press, New York, NY, 46-53.
25. KANELLAKIS, P. C. AND GOLDIN, D. Q. 1994. Constraint programming and database query languages. In Proceedings of the Conference on Theoretical Aspects of Computer Software. Springer-Verlag, New York, NY.
26. KANELLAKIS, P. C., KUPER, G. M., AND REVESZ, P. Z. 1995. Constraint query languages. J. Comput. Syst. Sci. 51, 1 (Aug.), 26-52.
27. KIFER, M. 1988. On safety, domain independence and capturability of database queries. In Proceedings of the Data and Knowledge Base Conference.
28. KOUBARAKIS, M. 1994. Complexity results for first-order theories of temporal constraints. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning.
29. KUPER, G. M. 1990. Logic programming with sets. J. Comput. Syst. Sci. 41, 1 (Aug.), 44-64.
30. LEGEARD, B. AND LEGROS, E. 1991. Short overview of the CLPS system. In Proceedings of the 1991 PLILP Conference.
31. PAREDAENS, J., VAN DEN BUSSCHE, J., AND VAN GUCHT, D. 1994. Towards a theory of spatial database queries (extended abstract). In Proceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (Minneapolis, MN, May 24-26, 1994). ACM Press, New York, NY, 279-288.
32. RAMAKRISHNAN, R., SRIVASTAVA, S., AND SUDARSHAN, S. 1992. CORAL: Control, relations and logic. In Proceedings of the 18th Conference on Very Large Data Bases. VLDB Endowment, Berkeley, CA, 238-250.
33. RAO, A., BADIA, S., AND VAN GUCHT, D. 1996. Providing better support for a class of decision support queries. In Proceedings of the ACM SIGMOD International Conference on the Management of Data, 217-227.
34. REVESZ, P. Z. 1993. A closed-form evaluation for Datalog queries with integer (gap)-order constraints. Theor. Comput. Sci. 116, 1 (Aug. 2), 117-149.
35. REVESZ, P. Z. 1995. Datalog queries over set constraint databases. In Proceedings of the International Conference on Database Theory (Prague, January 1995).
36. REVESZ, P. Z. 1995. Safe stratified Datalog with integer order programs. In Proceedings of the First International Conference on Principles and Practice of Constraint Programming (Cassis, France, 1995), Lecture Notes in Computer Science, vol. 976. Springer-Verlag, Berlin, Germany, 154-169.
37. SRIVASTAVA, D., RAMAKRISHNAN, R., AND REVESZ, P. Z. 1994. Constraint objects. In Proceedings of the Second Workshop on Principles and Practice of Constraint Programming, 181-192.
38. STOLBOUSHKIN, A. P. AND TAITSLIN, M. A. 1998. Safe stratified Datalog with integer order does not have syntax. ACM Trans. Database Syst. 23, 1 (Mar.).
39. TOMAN, D., CHOMICKI, J., AND ROGERS, D. 1994. Datalog with integer periodicity constraints. In Proceedings of the International Logic Programming Symposium, 189-203.
40. TSUR, S. AND ZANIOLO, C. 1986. LDL: A Logic-based data-language. In Proceedings of the 12th International Conference on Very Large Data Bases (Kyoto, Japan, Aug.). VLDB Endowment, Berkeley, CA, 33-41.
41. ULLMAN, J. 1989. Principles of Database and Knowledge-Base Systems, Volume 2. Computer Science Press, Inc., New York, NY.
42. VADAPARTY, K. 1994. On the power of rule-based query languages for nested data models. J. Logic Program. 21, 3, 155-175.
43. VAN EMDEN, M. AND KOWALSKI, R. 1976. The semantics of predicate logic as a programming language. J. ACM 23, 4, 733-742.
44. VAN HENTENRYCK, P. 1989. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, MA.
45. VARDI, M. 1982. The complexity of relational query languages. In Proceedings of the ACM Symposium on the Theory of Computing. ACM Press, New York, NY, 137-146.