An optimizing prolog front-end to a relational query system

ACM SIGMOD Record

Volumn 14, Issue 2, 1984, Pages 296-306

  Jarke, Matthias ^a   Clifford, Jim ^a   Vassiliou, Yannis ^a  

^a NEW YORK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

EXPERT SYSTEMS; OPTIMIZING TRANSLATION MECHANISMS; RELATIONAL QUERY SYSTEMS; SEMANTIC QUERY SIMPLIFICATION;

DATABASE SYSTEMS;

EID: 0021617145     PISSN: 01635808     EISSN: None     Source Type: Journal    
DOI: 10.1145/971697.602298     Document Type: Article

References (34)

1. Aho, A.V., Sagiv, Y., Ullman, J.D., “Efficient optimization of a class of relational expressions”, ACM-TODS 4, 4 (1979), 435-454.
2. Bernstein, P.A., Goodman, N., Wong, E., Reeve, C.L., Rothnie, J.R., “Query processing in a system for distributed databases (SDD-1)”, ACM-TODS 6, 4 (1981), 602-625.
3. Bowen, K.A., Kowalski, R.A., “Amalgamating language and metalanguage in logic programming”, in K.Clark and S.A.Tarnlund (eds.), Logic Programming, Academic Press, 1982.
4. Brodie, M., Mylopoulos, J., Schmidt, J.W. (eds.), On Conceptual Modelling. Springer 1984.
5. Casanova, M.A., Fagin, R., Papadimitriou, C.H., “Inclusion dependencies and their interaction with functional dependencies”, Proc. First Symposium on Principles of Databases, Los Angeles 1982, 171-176.
6. Downey, P.J., Sethi, R., Tarjan, R.E., “Variations on the common subexpression problem”, Journal of the ACM 27,4 (1980), 758-771.
7. Fagin, R., “A normal form for relational databases that is based on domains and keys”, ACM Transactions on Database Systems 6, 3 1981), 307-415.
8. Gallaire, H., Minker, J. (eds.), Logic and Databases. Plenum 1978.
9. Gallaire, H., Minker, J., Nicolas, J.M. (eds.), Advances in Database Theory, Vol.1, Plenum Press, 1901.
10. Grant, J., Minker, J., “Optimization in deductive and conventional relational database systems”, in H.Gallaire, J.Minker, J.M.Nicolas (eds.), Advances in Database Theory, Plenum Press, New York, 198T, 195-234.
11. Henschen, L.R., Naqvi, S., “On compiling queries in recursive first-order databases”, Journal of the ACM 31, 1 (1984), 47-85.
12. Jarke, M., “Common subexpression isolation in multiple query optimization”, in Kira, W., Reiner, D., Batory, D., (eds.), Query Processing in Database Systems. Springer, to appear 19o4.
13. Jarke, M., Vassiliou, Y., “Coupling expert systems with database management systems”, in Reitman, W. (ed.), Artificial Intelligence Applications for Business, Ablex, Norwood, NJ, 1984, 65-85.
14. Johnson, D.S., Klug, A., “Testing containment of conjunctive queries under functional and inclusion dependencies”, Proc. ACM Symposium on Principles of Database Systems. Los Angeles 1982, 164-169.
15. Kim, W. “On optimizing an SQL-like nested query”, ACM-TODS 7, 3 (1982), 443-469.
16. King, J.J., “QUIST: A system for semantic query optimization in relational data bases”, Proc. 7th VLDB Conf., Cannes 1981, 510-517.
17. Klug, A., “Access paths in the ‘Abe’ statistical query facility”, Proc. ACM-SIGM0D Conf., Orlando 1982, 161-173-
18. Kunifuji, S., Yokota, H., “Prolog and relational databases for Fifth Generation Computer Systems”, Proc. Workshop on Logical Bases for Data Bases, Toulouse, December 1982.
19. Marque-Pucheu, G., Martin-Gallausiaux, J., and Jomier, G., “Interfacing Prolog and relational data base management systems”, in Gardarin, G., Gelenbe, E. (eds.), New Applications of Data Bases. Acadamic Press, to appear 1984.
20. Nicolas, J.M., Gallaire, H., and Minker, J. (eds.), Proc. Workshop on Logical Bases for Databases, Toulouse, December 1982.
21. Nicholas, J.-M., Yazdanian, K., “An outline of BDGEN: A deductive DBMS”, in R.E.Mason (ed.), Information Processing 83, North-Holland 1983, 711-717.
22. Ott, N., Horlaender, K., “Removing redundant join operations in queries involving views”, IBM Scientific Center Heidelberg Technical Report TR-82.02.003 (1982).
23. Reiter, R., “Deductive question-answering on relational databases”, in Gallaire, H., Minker, J., Logic and Databases. Plenum 1978, 149-177.
24. Rosenkrantz, D.J., Hunt, M.B. “Processing conjunctive predicates and queries”, Proc. 6th VLDB. Montreal 1980, 64-74.
25. Rosenthal, A., Reiner, D., “Querying relational views of networks”, Proceedings IEEE COMPSAC. 1982.
26. Sagiv, Y., “Quadratic algorithms for minimizing joins in restricted relational expressions”, SIAM Journal of Computing 12, 2 (1983), 316-328.
27. Sagiv, Y., Yannakakis, M., “Equivalences among relational expressions with the union and difference operators”, JACM 27 (1980), 633-655.
28. Schmidt, J.W. “Some high-level language constructs for data of type relation”, ACM-TODS 2, 3 (1977), 247-261.
29. Stonebraker, M., “The design and implementation of Ingres”, ACM-TODS 1, 2 (1976).
30. Ullman, J.D., Principles of Database Systems, Computer Science Press 1982.
31. Vassiliou, Y., Clifford, J., Jarke, M., “How does an expert system get its data?”, Proc. 9th VLDB Conf., Florence, October 1983, 70-72.
32. Vassiliou, Y., Clifford, J., Jarke, M., “Access to specific declarative knowledge by expert systems: the impact of logic programming”, Decision Support Systems 1, 1 (1984).
33. Warren, D.H.D., “Efficient processing of interactive relational data base queries expressed in logic”, Proc. 7th VLDB Conf. Cannes 1981, 272-282.
34. Wong, E., Youssefi, K., “Decomposition- a strategy for query processing”, ACM TODS 1 (1976), 223-241.