Skip to main content
SpringerLink
Log in

Compilation and simplification of temporal integrity constraints

  • Conference paper
  • First Online:
Rules in Database Systems (RIDS 1995)

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

Included in the following conference series:

Abstract

The paper presents a novel compilation scheme for temporal integrity constraints and deductive rules expressed in an interval-based first-order temporal logic. Compilation builds a dependence graph with simplified forms of the constraints and rules. This permits the compiletime simplification of the formulae that have to be verified at run-time, as well as the precomputation of potential implicit updates. We show how simplified forms can be obtained with respect to transactions made up of arbitrary sequences of basic updates. Additional optimization steps exploit the organization of simplified forms in dependence graphs.

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. J. Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 26(11):832–843, November 1983.

    Google Scholar 

  2. M. Baudinet, J. Chomicki, and P. Wolper. Temporal Deductive Databases. In Tansel, A. et al., editor, Temporal Databases. Benjamin Cummings, 1993.

    Google Scholar 

  3. M. Brodie, J. Mylopoulos, and J. Schmidt, editors. On Conceptual Modeling: Perspectives from AI, Databases and Programming Languages. Springer Verlag, 1984.

    Google Scholar 

  4. F. Bry, H. Decker, and R. Manthey. A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. In Proceedings of the Int. Conference on Extedning Data Base Technology, pages 488–505, 1988.

    Google Scholar 

  5. S. Ceri and J. Widom. Deriving Production Rules for Constraint Maintenance. In VLDB-90, pages 566–577, 1990.

    Google Scholar 

  6. R. Chandra and A. Segev. Managing Temporal Financial Data in an Extensible Database. In VLDB-93, pages 302–313, 1993.

    Google Scholar 

  7. J. Chomicki. History-less Checking of Dynamic Integrity Constraints. In 8th Int. Conference on Data Engineering, pages 557–564, Phoenix,AZ, 1992.

    Google Scholar 

  8. J. Chomicki and D. Toman. Implementing Integrity Constraints Using an Active DBMS. In Proceedings, RIDE-94 Active Database Systems, pages 87–95, 1994.

    Google Scholar 

  9. H. Ehrich, U. Lipeck, and M. Gogolla. Specification, Semantics and Enforcement of Dynamic Database Constraints. In VLDB-84, pages 301–308, 1984.

    Google Scholar 

  10. E. A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996–1072. MIT Press, 1990.

    Google Scholar 

  11. J. Florentin. Consistency Auditing of Databases. Computer Journal, 17(1):52–58, 1974.

    Google Scholar 

  12. M. Gertz and U. Lipeck. Deriving Integrity Maintaining Triggers from Transition Graphs. In 9th Int. Conference on Data Engineering, pages 22–29, 1993.

    Google Scholar 

  13. M. Jeusfeld and M. Jarke. From Relational to Object-Oriented Integrity Simplification. In Proceedings of DOOD-91, pages 460–477, 1991.

    Google Scholar 

  14. F. Kabanza, J-M. Stevenne, and P. Wolper. Handling Infinite Temporal Data. In PODS-90, pages 392–403, 1990.

    Google Scholar 

  15. C.H. Kung. On Verification of Database Temporal Constraints. In SIGMOD-85, pages 169–179, 1985.

    Google Scholar 

  16. J. Lloyd and R. Topor. A Basis for Deductive Database Systems. Journal of Logic Programming, 2:93–109, 1985.

    Google Scholar 

  17. J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis. Telos: A Language for Representing Knowledge in Information Systems. ACM TOIS, 8(4):325–362, 1990.

    Google Scholar 

  18. J. Mylopoulos, V. Chaudhri, D. Plexousakis, A. Shrufi, and T. Topaloglou. Building Knowledge Base Management Systems. The VLDB Journal, 1995. To appear.

    Google Scholar 

  19. J.-M. Nicolas. Logic for Improving Integrity Checking in Relational Databases. Acta Informatica, 18:227–253, 1982.

    Google Scholar 

  20. D. Plexousakis. Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases. In VLDB-93, pages 146–157, 1993.

    Google Scholar 

  21. D. Plexousakis. Semantical and Ontological Considerations in Telos: a Lanugage for Knowledge Representation. Computational Intelligence, 9(1):41–72, 1993.

    Google Scholar 

  22. D. Plexousakis. Integrity Maintenance in a Telos based KBMS, 1994. Submitted to IEEE-TKDE.

    Google Scholar 

  23. D. Plexousakis. On the Efficient Enforcement of Integrity Constraints in Temporal Deductive Knowledge Bases. PhD thesis, 1995. Forthcoming.

    Google Scholar 

  24. G. Saake and U. Lipeck. Foundations of Temporal Integrity Monitoring. In C. Roland, editor, Temporal Aspects in Information Systems, pages 235–249. 1988.

    Google Scholar 

  25. A.P. Sitsla and O. Wolfson. Temporal Conditions and Integrity Constraints in Active Database Systens. In SIGMOD-95, pages 269–280, 1995.

    Google Scholar 

  26. A. et al. Tansel. Temporal Databases, Theory Design and Implementation. Benjamin/Cummings, 1993.

    Google Scholar 

  27. J. Ullman. Fundamentals of Database and Knowledge-base Systems, volume 1. Computer Science Press, 1988.

    Google Scholar 

  28. R. Wieringa, J-J. Meyer, and H. Weigand. Specifying Dynamic and Deontic Integrity Constraints. Data and Knowledge Engineering, 4:157–189, 1989.

    Google Scholar 

Download references

Author information

Author notes

  1. Dimitris Plexousakis

    Present address: Department of Computing and Information Sciences, Kansas State University, 66506-2302, Manhattan, KS, USA

Authors and Affiliations

  1. Dept. of Computer Science, University of Toronto, M5S 1A4, Toronto, Ont, Canada

    Dimitris Plexousakis

Authors
  1. Dimitris Plexousakis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Timos Sellis

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Plexousakis, D. (1995). Compilation and simplification of temporal integrity constraints. In: Sellis, T. (eds) Rules in Database Systems. RIDS 1995. Lecture Notes in Computer Science, vol 985. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60365-4_132

Download citation

  • DOI: https://doi.org/10.1007/3-540-60365-4_132

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-45137-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation