Query processing in DOQL: A deductive database language for the ODMG model

Data and Knowledge Engineering

Volumn 35, Issue 1, 2000, Pages 1-38

  Sampaio, Pedro R Falcone ^a   Paton, Norman W ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; DATA STRUCTURES; FEATURE EXTRACTION; KNOWLEDGE ENGINEERING; OBJECT ORIENTED PROGRAMMING; OPTIMIZATION; RESPONSE TIME (COMPUTER SYSTEMS);

DEDUCTIVE OBJECT QUERY LANGUAGES (DOQL);

QUERY LANGUAGES;

EID: 0343826698     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(00)00020-3     Document Type: Article

References (68)

1. S. Abiteboul, R. Hull, V. Vianu, Foundations of Databases, Addison-Wesley, Reading, MA, 1995.
2. Agrawal R., Devanbu P. Moving selections into linear least fixpoint queries. IEEE Transactions on Knowledge and Data Engineering. 1(4):1989;424-432.
3. A. Aho, J. Ullman, Universality of data retrieval languages, in: Proceedings of the Sixth ACM Symposium on Principles of Programming Languages, 1979, pp. 110-120.
4. F. Bancilhon, D. Maier, Y. Sagiv, J. Ullman, Magic sets and other strange ways to implement logic programs, in: Proceedings of the Fifth Symposium on Principles of Database Systems, 1986, pp. 1-15.
5. F. Bancilhon, R. Ramakrishnan, An amateur's introduction to recursive query processing strategies, in: Proceedings of the ACM SIGMOD International Conference on Management of Data, 1986, pp. 16-52.
6. Barja M., Fernandes A., Paton N., Williams M.H., Dinn A., Abdelmoty A. Design and implementation of Rock & Roll: a deductive object-oriented database system. Information Systems. 20(3):1995;185-211.
7. M.L. Barja, N.W. Paton, A.A.A. Fernandes, M.H. Williams, A. Dinn, An effective deductive object-oriented database through language integration, in: Proceedings of the 20th VLDB Conference, 1994, pp. 463-474.
8. C. Beeri, T. Milo, Functional and predicative programming in OODBs, in: Proceedings of the 11th Symposium on Principles of Database Systems, 1992, pp. 176-190.
9. C. Beeri, T. Milo, On the power of algebras with recursion, in: Proceedings of the ACM SIGMOD International Conference on Management of Data, 1993, pp. 377-386.
10. J. Blakeley, Data access for the masses through OLE DB, in: Proceedings of the ACM SIGMOD International Conference on Management of Data, 1996, pp. 161-172.
11. G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeling Language User Guide, Addison-Wesley, Reading, MA, 1999.
12. F. Cacace, S. Ceri, P. Fraternali, S. Paraboschi, L. Tanca, An overview of the Logres system, in: Proceedings of the Workshop on Combining Declarative and Object-Oriented Databases, 1993, pp. 31-43.
13. Carey M., DeWitt D. An overview of the EXODUS project. Data Engineering Bulletin. 10(2):1987;47-54.
14. Caseau Y. An object-oriented deductive language. Annals of Mathematics and Artificial Intelligence. 3:1991;211-258.
15. R. Cattel, D. Barry, D. Bartels, M. Berler, J. Eastman, S. Gamerman, D. Jordan, A. Springer, H. Strickland, D. Wade, The Object Database Standard: ODMG, 2.0, Morgan Kaufmann, Los Altos, CA,1997.
16. S. Ceri, G. Gottlob, L. Tanca, Logic Programming and Databases, Springer, Berlin, 1990.
17. S. Ceri, R. Manthey, Chimera: A model and language for active DOOD systems, in: Proceedings of the East/West Database Workshop, 1994, pp. 3-16.
18. Cluet S. Designing OQL: allowing objects to be queried. Information Systems. 23(5):1998;279-305.
19. S. Cluet, C. Delobel, A general framework for the optimization of object-oriented queries, in: Proceedings of the ACM SIGMOD International Conference on Management of Data, 1992, pp. 383-392.
20. B. Dermuth, A. Geppert, T. Gorchs, Algebraic query optimization in the CoOMS structurally object-oriented database system, in: J. Freytag, D. Maier, G. Vossen (Eds.), Query Processing for Advanced Database Systems, Morgan Kaufmann, Los Altos, CA, 1994, pp. 121-142.
21. L. Fegaras, An experimental optimizer for OQL, Technical Report TR-CSE-97-007, CSE, University of Texas at Arlington, 1997.
22. L. Fegaras, D. Maier, Towards an effective calculus for object query languages, in: Proceedings of the ACM SIGMOD Intl. Conference on Management of Data, 1995, pp. 47-58.
23. M. Franklin, B. Jonsson, D. Kossman, Performance tradeoffs for client-server query processing, in: Proceedings of the ACM SIGMOD Intl. Conference on Management of Data, 1996, pp. 149-160.
24. O. Friesen, G. Gauthier-Villars, A. Lefebvre, L. Vieille, Applications of deductive object-oriented databases using DEL, in: R. Ramakrishnan (Ed.), Applications of Logic Databases, Kluwer Academic Publishers, Dordrecht, 1995, pp. 1-22.
25. O. Friesen, A. Lefebvre, L. Vieille, VALIDITY: applications of a DOOD System, in: Proceedings of the EDBT, 1996, pp. 131-134.
26. J. Frohn, H. Himmeroder, P. Kandzia, G. Lausen, C. Schlepphorst, FLORID - a prototype for F-logic, in: Proceedings of the International Conference on Data Engineering, 1997, p. 583.
27. E. Gamma, R. Helm, R. Johnson, J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, Reading, MA, 1994.
28. Gatziu S., Koschel A., Bultzingslowen G., Fritschi H. Unbundling active functionality. ACM Sigmod Record. 27(1):1998;35-40.
29. Geppert A., Dittrich K. Bundling: towards a new construction paradigm for persistent systems. Networking and Information Systems Journal. 1(1):1998;69-102.
30. G. Graefe, Encapsulation of parallelism in the volcano query processing system, in: Proceedings of the ACM SIGMOD International Conference on Management of Data, 1990, pp. 102-111.
31. Graefe G. Query evaluation techniques for large databases. ACM Computing Surveys. 25(2):1993;73-170.
32. Graefe G. Iterators, schedulers, and distributed-memory parallelism. Software-Practice and Experience. 26(4):1996;427-452.
33. E. Hansom, TriggerMan: an asynchronous trigger processor as an extension to an object-relational DBMS, Technical Report TR-97-024, University of Florida, 1997.
34. Jarke M., Gallerrsdorfer R., Jeusfeld M., Staudt M. ConceptBase - a deductive object base for meta data management. Journal of Intelligent Information Systems. 3:1994;167-192.
35. Jarke M., Koch J. Query optimization in database systems. ACM Computing Surveys. 16(2):1984;111-152.
36. Kifer M., Lausen G., Wu J. Logical foundations of object-oriented and frame-based languages. Journal of the ACM. 42(4):1995;741-843.
37. Kifer M., Lozinskii E. On compile-time query optimization in deductive databases by means of static filtering. ACM Transactions on Database Systems. 15(3):1990;385-426.
38. Knight K. Unification: a multidisciplinary survey. ACM Computing Surveys. 21(1):1989;93-124.
39. R. Lanzelotte, P. Valduriez, M. Zait, Optimization of object-oriented recursive queries using cost-controlled strategies, in: Proceedings of the ACM SIGMOD International Conference on Management of Data, 1992, pp. 256-265.
40. T. Leung, H. Pirahesh, P. Seshadri, J. Hellerstein, Query rewrite optimization rules in IBM DB2 universal database, in: M. Stonebraker, J. Hellerstein (Eds.), Readings in Database Systems, Third ed., Morgan Kaufmann, Los Altos, CA, 1998.
41. Liu M. ROL: a deductive object base language. Information Systems. 21(5):1996;431-457.
42. Ludascher B., Himmeroder R., Lausen G., May W., Schlepphorst C. Managing semistructured data with FLORID: a deductive object-oriented perspective. Information Systems. 23(8):1998;1-25.
43. Mumick I., Finkelstein S., Pirahesh H., Ramakrishnan R. Magic conditions. ACM Transactions on Database Systems. 21(1):1996;107-155.
44. I.S. Mumick, K.A. Ross, Noodle: A language for declarative querying in an object-oriented database, in: Proceedings of the Third International Conference on Deductive and Object-Oriented Databases, Springer, Berlin, 1993 pp. 360-378.
45. M.T. Ozsu, J.A. Blakeley, Query processing in object-oriented database systems, in: Modern Database Systems, Addison-Wesley, Reading, MA, 1995, pp. 146-174.
46. N.W. Paton, P.R.F. Sampaio, Extending the ODMG architecture with a deductive object query language, in: Proceedings of the 16th British National Conference on Databases, Springer, Berlin, 1998, pp. 149-164.
47. Poet Software Corporation, Poet ODL Compiler - Reference Guide, 1998.
48. Poet Software Corporation, http://www.poet.com/techover/, Poet Technical Overview, 1998.
49. R. Ramakrishnan, D. Srivastava, S. Sudarshan, P. Seshadri, Implementation of the CORAL deductive database system, in: Proceedings of the ACM SIGMOD International Conference on Management of Data, 1993, pp. 167-176.
50. J. Richardson, M. Carey, Programming constructs for database systems implementation in EXODUS, in: Proceedings of the ACM SIGMOD International Conference on Management of Data, 1987, pp. 208-219.
51. P.R.Falcone Sampaio, Design and Implementation of a Deductive Query Language for ODMG Compliant Object Databases, Ph.D. thesis, University of Manchester, 2000.
52. P.R.F. Sampaio, N.W. Paton, Deductive object-oriented database systems: A survey, in: Proceedings of the Third International Workshop on Rules in Database Systems, Springer, Berlin, 1997, pp. 1-19.
53. P.R.F. Sampaio, N.W. Paton, Deductive queries in ODMG databases: the DOQL approach, in: Proceedings of the Fifth International Conference on Object-Oriented Information Systems, Springer, Berlin, 1998, pp. 57-74.
54. S. Sampaio, N. Paton, P. Watson, J. Smith, A parallel algebra for object databases, in: Proceedings of the Second DEXA Workshop on Parallel Databases: Innovative Applications and New Architectures, IEEE Press, 1999 pp. 56-60.
55. A. Silberschatz, H. Korth, S. Sudarshan, Database System Concepts, Third ed., McGraw-Hill, New York, 1997.
56. D. Srivastava, R. Ramakrishnan, P. Seshadri, S. Sudarshan, Coral++: adding object-orientation to a logic database language, in: Proceedings of the 19th VLDB Conference, 1993, pp. 158-170.
57. A. Stepanov, M. Lee, The Standard Template Library, Hewlett-Packard Laboratories, 1995.
58. B. Stroustrup, The C++ Programming Language, Third ed., Addison-Wesley, Reading, MA, 1997.
59. J. Ullman, A comparison between deductive and object-oriented database systems, in: Proceedings of the Second International Conference on Deductive and Object-Oriented Databases, 1991, pp. 263-277.
60. J. Ullman, Information integration using logical views, in: Proceedings of the International Conference on Database Theory, 1997, pp. 19-40.
61. Ullman J., Zaniolo C. Deductive databases: achievements and future directions. ACM - SIGMOD Record. 19(4):1990;75-82.
62. J.D. Ullman, Principles of Database and Knowledge-Base Systems, vol. 1, Computer Science Press, Rockville, MD, 1988.
63. J.D. Ullman, Principles of Database and Knowledge-Base Systems, vol. 2, Computer Science Press, Rockville, MD, 1989.
64. S. Urban, A. Karadimce, S. Dietrich, T. Abdellatif, H. Chan, CDOL: a comprehensive declarative object language, Data & Knowledge Engineering 22 (1) (1997) 67-111.
65. S. Vandenberg, Algebras for object-oriented query languages, Ph.D. thesis, University of Wisconsin-Madison, 1993.
66. Vianu V. Rule-based languages. Annals of Mathematics and Artificial Intelligence. 19:1997;215-259.
67. Z. Xie, J. Han, Normalization and compilation of deductive and object-oriented database programs for efficient query evaluation, in: Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases, 1995, pp. 485-502.
68. K. Yokota, H. Tsuda, Y. Morita, Specific features of a deductive object-oriented database language QUIXOTE, in: Proceedings of the Workshop on Combining Declarative and Object-Oriented Databases, 1993, pp. 89-99.