A Temporal Logic Language for Temporal Conditions Definition

  • Nina Edelweiss
  • José M. V. de Castilho
  • José Palazzo M. de Oliveira

Abstract

Temporal object-oriented data models can be used to specify behavioral requirements of information systems. The TF-ORM data model, aimed at the specification of dynamic and static database state transition constraints, is analyzed in this paper. A temporal logic language is used to express conditions attached to the two type of rules contained in the data model: state transition rules and integrity rules. These conditions can be used to represent temporal constraints respectively on the database’s state transitions and current state. This paper’s main concern is the definition of the language to be used in the conditions’ construction.

Keywords

State Transition Temporal Logic Temporal Constraint Temporal Instant Temporal Database 
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. Arapis, C., 1991, Specifying object interactions, in: “Object Composition”, D. Tsichritzis, ed., Univ. Genebra, Genebra. p.303–322.Google Scholar
  2. Bolour, A.; Dekeyser, L.J., 1983, Abstractions in temporal information, Information Systems, 8(1):41–9.CrossRefGoogle Scholar
  3. Castilho, J.M.V.; Casanova, M.A.; Furtado, A.L., 1982, A Temporal framework for database specifications, in: International Conference on Very Large Databases, 8., Mexico City, Sept. 1982, Proceedings. p.280-91.Google Scholar
  4. Corsetti, E. et al., 1991, Dealing with different time scales in formal specifications, in: International Workshop On Software Specification And Design, 6., Como, Italy, Oct. 25–6, 1991. Proceedings. p.92-101.Google Scholar
  5. DeAntonellis, V.; Pernici, B.; Samarati, P., 1991, F-ORM Method: a F-ORM Methodology for reusing specifications, in: “Object Oriented Approach in Information Systems”, F.V. Assche; B. Moulin.; C. Rolland, eds., North-Holland, Amsterdam, p.117-35.Google Scholar
  6. Edelweiss, N.; Oliveira, J.P.M. de; Pernici, B. 1993, An Object-Oriented Temporal Model, in: International Conference on Advanced Information Systems Engineering, 5., Paris, June 8–11, 1993, Proceedings, p.397-415. (Lecture Notes in Computer Science, n.685).Google Scholar
  7. Finderton, 1972, “A Mathematical Introduction to Logic”, Addison-Wesley.Google Scholar
  8. Greenspan, S.J.; Borgida, A.; Mylopoulos, J., 1986, A Requirements modeling language and its logic, in: “On Knowledge Base Systems”, M.L. Brodie; J. Mylopoulos, eds., Springer-Verlag, New York. p.471–502.CrossRefGoogle Scholar
  9. Lipeck, U.W.; Saake, G., 1987, Monitoring dynamic integrity constraints based on temporal logic, Information Systems, 12(3):255–269.MATHCrossRefGoogle Scholar
  10. Loucopoulos, P. et al., 1991, TEMPORA-Integrating database technology, rule-based systems and temporal reasoning for information systems development, IEEE Knowledge Engineering Newsletters.Google Scholar
  11. Maiocchi, R.; Pernici, B.; Barbie, F., 1992, Automatic deduction of temporal information, ACM Transactions on Database Systems, 17(4):647–688.CrossRefGoogle Scholar
  12. Manna, Z.; Pnueli, A., 1981, Verification of concurrent programs: the temporal framework, in: “The Correctness Problem of Computer Science”, Boyle-Moore, eds., Academic Press, p.215-273.Google Scholar
  13. Schiel, U., 1983, An Abstract introduction to the Temporal-Hierarchic Data Model (THM), in: International Conference On Very Large Data Bases, 9., Florence, Italy, Oct. 31–Nov. 2, 1983, Proceedings. p.322-30.Google Scholar
  14. Snodgrass, R.; Ahn, I., 1985, A Taxonomy of time in databases, in: ACM SIGMOD International Conference on Management of Data, Texas, May 28–31, 1985, Proceedings, p.236-46.Google Scholar
  15. Snodgrass, R.T., 1992, “TSQL: A Design approach white paper”, Feb. 21, 1992. (Electronic version, TSQL e-mailing list).Google Scholar

Copyright information

© Springer Science+Business Media New York 1994

Authors and Affiliations

  • Nina Edelweiss
    • 1
  • José M. V. de Castilho
    • 1
  • José Palazzo M. de Oliveira
    • 1
  1. 1.Instituto de InformáticaUniversidade Federal do Rio Grand do SulPorto AlegreBrazil

Personalised recommendations