Skip to main content
SpringerLink
Log in

A temporal constraint system for object-oriented databases

  • Conference paper
  • First Online:
Constraint Databases and Applications (CDB 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1191))

Included in the following conference series:

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.

This material is based upon work supported in part by the U.S. Army Research Office under grant no. DAAH04-96-1-0192.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abadi, M., Manna, Z.: Temporal logic programming. Proceedings of Symposium on Logic Programming. IEEE Computer Society Press (1987) 4–16

    Google Scholar 

  2. Alagić, S.: A statically typed, temporal object-oriented database technology. IEICE Transactions on Information and Systems 78 (1995) 1469–1476

    Google Scholar 

  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–259

    Google Scholar 

  4. Brodsky, A., Kornatzky, Y.: The Lyric language: querying constrained objects. Proceedings of the ACM SIGMOD Conference (1995) 35–46

    Google Scholar 

  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. 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–83

    Google Scholar 

  7. Benzaken, V., Doucet, D.: Thémis: a database programming language handling integrity constraints. VLDB Journal 4 (1994) 493–517

    Google Scholar 

  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–418

    Google Scholar 

  9. Bancilhon, F., Ramakrishnan, R.: An amateur's introduction to recursive query processing strategies. Proceedings of the ACM SIGMOD Conference (1986) 16–52

    Google Scholar 

  10. Bruce, K.: Safe type checking in a statically typed object-oriented programming language. Proceedings of the ACM Conference on Functional Programming (1993) 285–298

    Google Scholar 

  11. Cluet, S., Delobel, C.: A general framework for the optimization of object-oriented queries. Proceedings of the ACM SIGMOD Conference (1992) 383–392

    Google Scholar 

  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–135

    Google Scholar 

  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–66

    Google Scholar 

  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–66

    Google Scholar 

  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. Gehani, N.H., Jagadish, H.V., Shumeli, O.: Event specification in an active object-oriented database. Proceedings of the ACM SIGMOD Conference (1992) 81–90

    Google Scholar 

  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–98

    Google Scholar 

  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–265

    Google Scholar 

  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–182

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Wichita State University, 67260-0083, Wichita, KS, USA

    Suad Alagić

Authors
  1. Suad Alagić
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Volker Gaede Alexander Brodsky Oliver Günther Divesh Srivastava Victor Vianu Mark Wallace

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alagić, S. (1996). A temporal constraint system for object-oriented databases. In: Gaede, V., Brodsky, A., Günther, O., Srivastava, D., Vianu, V., Wallace, M. (eds) Constraint Databases and Applications. CDB 1997. Lecture Notes in Computer Science, vol 1191. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62501-1_33

Download citation

  • DOI: https://doi.org/10.1007/3-540-62501-1_33

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62501-8

  • Online ISBN: 978-3-540-68049-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation