Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic

This work uses temporal logic as a calculus for expressing integrity constraints that specify admissibility of dynamic database behaviour. Formulas are interpreted in state sequences representing dynamic behaviour. Our approach incorporates temporal quantification by 11 always 11 , 11 sometime 11 , and quanti-fiers bounded by intervals in state sequences. Moreover, dynamically changing domains of database values are considered. We then use special kinds of formulas as a language for dyna-rnie constraints and give some hints how to specify in typical situations. For such formulas, a frame for monitoring constraints during runtime of a database is discussed which allows to characterize admissibility operationally.

[1]  D. A Jardine,et al.  Concepts and terminology for the conceptual schema and the information base , 1984 .

[2]  Michael Stonebraker,et al.  Implementation of integrity constraints and views by query modification , 1975, SIGMOD '75.

[3]  David Chenho Kung,et al.  A Temporal Framework for Database Specification and Verification , 1984, VLDB.

[4]  Dennis McLeod,et al.  Semantic integrity in a relational data base system , 1975, VLDB '75.

[5]  S. Ceri Ed.  Methodology and Tools for Data Base Design , 1983 .

[6]  Forouzan Golshani,et al.  A Modal System of Algebras for Database Specification and Query/Update Language Support , 1983, VLDB.

[7]  Gernot Richter.  Utilization of data access and manipulation in conceptual schema definitons , 1981, Inf. Syst..

[8]  Armin B. Cremers,et al.  AIM - An Integrity Monitor for the Database System INGRES , 1983, VLDB.

[9]  Hans-Dieter Ehrich.  On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types , 1982, JACM.

[10]  Harry K. T. Wong,et al.  The role of time in information processing: a survey , 1982, SGAR.

[11]  Toby J. Teorey,et al.  Design of Database Structures , 1982 .

[12]  Robert A. Kowalski,et al.  Integrity Checking in Deductive Databases , 1987, VLDB.

[13]  Peter Buneman,et al.  FQL: a functional query language , 1979, SIGMOD '79.

[14]  David W. Shipman.  The functional data model and the data language DAPLEX , 1979, SIGMOD '79.

[15]  Amílcar Sernadas,et al.  Temporal aspects of logical procedure definiton , 1980, Inf. Syst..

[16]  Martin Gogolla,et al.  Specification, Semantics, and Enforcement of Dynamic Database Constraints , 1984, VLDB.

[17]  Stephen Todd,et al.  Automatic Constraint Maintenance and Updating Defined Relations , 1977, IFIP Congress.