Advertisement

A temporal constraint system for object-oriented databases

  • Suad Alagić
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1191)

Abstract

A typed, object-oriented, temporal constraint system is presented. The constraint programming paradigm is based on temporal Horn clause logic. If differs from executable temporal logic programming paradigms in that it is typed, object-oriented, and equipped with access support for persistent objects and an optimizer. The constraint language is expressive enough to capture a variety of non-trivial applications with no need for procedural decomposition of methods. Temporal query facilities fit naturally into the presented object-oriented constraint paradigm. The low-level part of the implementation model for persistent objects is based on access relations and the supporting algorithms. An optimization technique for temporal queries presented in the paper is a generalization of the existing optimization techniques for object-oriented and logic databases.

Keywords

Temporal Constraint Query Optimization Object Identifier Constraint Language Access Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abadi, M., Manna, Z.: Temporal logic programming. Proceedings of Symposium on Logic Programming. IEEE Computer Society Press (1987) 4–16Google Scholar
  2. 2.
    Alagić, S.: A statically typed, temporal object-oriented database technology. IEICE Transactions on Information and Systems 78 (1995) 1469–1476Google Scholar
  3. 3.
    Alagić, S., Sunderraman, R., Bagai, R.: Declarative object-oriented programming: inheritance, subtyping and prototyping. Proceedings of ECOOP '94. Lecture Notes in Computer Science 821 (1994) 236–259Google Scholar
  4. 4.
    Brodsky, A., Kornatzky, Y.: The Lyric language: querying constrained objects. Proceedings of the ACM SIGMOD Conference (1995) 35–46Google Scholar
  5. 5.
    Baudinet, M., Chomicki, J., Wolper, P.: Temporal deductive databases. In: Tansel, A. U., Clifford, J., Gadia, S., Jajodia, S., Segev, A., Snodgrass, R.: Temporal Databases. Benjamin / Cummings (1993) 294–328.Google Scholar
  6. 6.
    Baudinet, M.: A simple proof of the completeness of temporal logic programming. In: Del Cerro, L. F., Penttonen, M.: Intensional Logics for Programming. Studies in Logic and Computation 1. Clarendon Press (1992) 51–83Google Scholar
  7. 7.
    Benzaken, V., Doucet, D.: Thémis: a database programming language handling integrity constraints. VLDB Journal 4 (1994) 493–517Google Scholar
  8. 8.
    Bertino, E.: A survey of indexing techniques for object-oriented database management systems. In: Freytag, J. C., Maier, D., Vossen, G.: Query Processing for Advanced Database Systems. Morgan Kaufmann (1994) 384–418Google Scholar
  9. 9.
    Bancilhon, F., Ramakrishnan, R.: An amateur's introduction to recursive query processing strategies. Proceedings of the ACM SIGMOD Conference (1986) 16–52Google Scholar
  10. 10.
    Bruce, K.: Safe type checking in a statically typed object-oriented programming language. Proceedings of the ACM Conference on Functional Programming (1993) 285–298Google Scholar
  11. 11.
    Cluet, S., Delobel, C.: A general framework for the optimization of object-oriented queries. Proceedings of the ACM SIGMOD Conference (1992) 383–392Google Scholar
  12. 12.
    Cook, W. R., Hill, W. L., Canning, P. S.: Inheritance is not subtyping. Proceedings of the ACM Conference on Principles of Programming Languages (1990) 125–135Google Scholar
  13. 13.
    Fisher, M.: A survey of concurrent METATEM — the language and its applications. Proceedings of the 2nd Temporal Logic Conference. Lecture Notes in AI. Springer-Verlag (1994) 48–66Google Scholar
  14. 14.
    Fiadeiro, J. L., Maibaum, T.: Sometimes ”tomorrow” is ”sometime” — action refinement in a temporal logic of objects. Proceedings of the 2nd International Temporal Logic Conference. Lecture Notes in AI. Springer-Verlag (1994) 48–66Google Scholar
  15. 15.
    Gehani, N.H., Jagadish, H.V.: Ode as active database: constraints and triggers. Proceedings of the VLDB Conference. Morgan Kaufmann (1991)Google Scholar
  16. 16.
    Gehani, N.H., Jagadish, H.V., Shumeli, O.: Event specification in an active object-oriented database. Proceedings of the ACM SIGMOD Conference (1992) 81–90Google Scholar
  17. 17.
    Kemper, A., Moerkotte, G.: Query optimization in object bases: exploiting relational techniques. In: Freytag, J. C., Maier, D., Vossen, G.: Query Processing for Advanced Database Systems. Morgan Kaufmann (1994) 64–98Google Scholar
  18. 18.
    Lanzelote, R. S. G., Valduriez, P., Zait, M.: Optimizing object-oriented recursive queries using cost-controlled strategies. Proceedings of the ACM SIGMOD Conference (1992) 256–265Google Scholar
  19. 19.
    Maier, D., Stein, J.: Indexing in an object-oriented DBMS. In: Dittrich, K. R., Dayal, U. (Eds): Proceedings of IEEE Workshop on Object-Oriented Database Systems. IEEE Press (1986) 171–182Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Suad Alagić
    • 1
  1. 1.Department of Computer ScienceWichita State UniversityWichitaUSA

Personalised recommendations