Constraint query languages (preliminary report)
作者： Paris C. Kanellakis , Gabriel M. Kuper , Peter Z. Revesz
关键词:
摘要: … We discuss the relationship between constraint … has not really influenced database query language design. There … each other using the standard boolean equational axioms ([MN88]). …
acm.org
sci-hub.se 参考文章(31)
MICHAEL KIFER, ON SAFETY, DOMAIN INDEPENDENCE, AND CAPTURABILITY OF DATABASE QUERIES (Preliminary Report) Proceedings of the Third International Conference on Data and Knowledge Bases#R##N#Improving Usability and Responsiveness. pp. 405- 415 ,(1988) , 10.1016/B978-1-4832-1313-2.50037-8
Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas, Abderrahmane Aggoun, Françoise Berthier, Thomas Graf, The Constraint Logic Programming Language CHIP. Future Generation Computer Systems. pp. 693- 702 ,(1988)
Raghu Ramakrishnan, Magic Templates: A Spellbinding Approach to Logic Programs. international conference on lightning protection. pp. 140- 159 ,(1988)
John Wylie Lloyd, Foundations of logic programming ,(1984)
A. V. Aho, Y. Sagiv, J. D. Ullman, Equivalences among Relational Expressions SIAM Journal on Computing. ,vol. 8, pp. 218- 246 ,(1979) , 10.1137/0208017
Ashok K. Chandra, Philip M. Merlin, Optimal implementation of conjunctive queries in relational data bases symposium on the theory of computing. pp. 77- 90 ,(1977) , 10.1145/800105.803397
Wolfram Buttner, Helmut Simonis, Embedding boolean expressions into logic programming Journal of Symbolic Computation. ,vol. 4, pp. 191- 205 ,(1987) , 10.1016/S0747-7171(87)80065-2
Moshe Y. Vardi, The complexity of relational query languages (Extended Abstract) Proceedings of the fourteenth annual ACM symposium on Theory of computing - STOC '82. pp. 137- 146 ,(1982) , 10.1145/800070.802186
Jeanne Ferrante, James R. Geiser, An efficient decision procedure for the theory of rational order Theoretical Computer Science. ,vol. 4, pp. 227- 233 ,(1977) , 10.1016/0304-3975(77)90037-8
Michael I. Shamos, Franco P. Preparata, Computational Geometry: An Introduction ,(1978)