ACM SIGMOD Anthology VLDB dblp.uni-trier.de

A Temporal Framework for Database Specification and Verification.

David Chenho Kung: A Temporal Framework for Database Specification and Verification. VLDB 1984: 91-99
@inproceedings{DBLP:conf/vldb/Kung84,
  author    = {David Chenho Kung},
  editor    = {Umeshwar Dayal and
               Gunter Schlageter and
               Lim Huat Seng},
  title     = {A Temporal Framework for Database Specification and Verification},
  booktitle = {Tenth International Conference on Very Large Data Bases, August
               27-31, 1984, Singapore, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1984},
  isbn      = {0-934613-16-8},
  pages     = {91-99},
  ee        = {db/conf/vldb/Kung84.html},
  crossref  = {DBLP:conf/vldb/84},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

A database specification consists of static and temporal constraints and a set of database operation descriptions. A database is viewed as a dynamic object and a sequence of database states constitutes an evolution of the database. A formal method for verifying database specifications is proposed. The method checks if the static constraints are consistent, analyses the database operation descriptions with respect to the static constraints to ensure that each operation can ever be executed, and finally, it verifies that each permissible sequence of operations satisfies all the temporal constraints.

Copyright © 1984 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.


Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

Umeshwar Dayal, Gunter Schlageter, Lim Huat Seng (Eds.): Tenth International Conference on Very Large Data Bases, August 27-31, 1984, Singapore, Proceedings. Morgan Kaufmann 1984, ISBN 0-934613-16-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[1]
...
[2]
...
[3]
A. Bolour, T. L. Anderson, L. J. Dekeyser, Harry K. T. Wong: The Role of Time in Information Processing: A Survey. SIGMOD Record 12(3): 27-50(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
A. Bolour, L. J. Dekeyser: Abstractions in temporal information. Inf. Syst. 8(1): 41-49(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
...
[6]
Janis A. Bubenko Jr.: On the Role of `Understanding Models' in Conceptual Schema Design. VLDB 1979: 129-139 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
Janis A. Bubenko Jr.: Information Modeling in the Context of System Development. IFIP Congress 1980: 395-411 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[8]
José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
...
[10]
Tsun S. Chow: Testing Software Design Modeled by Finite-State Machines. IEEE Trans. Software Eng. 4(3): 178-187(1978) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
...
[12]
Antonio L. Furtado, Clesio Saraiva dos Santos, José Mauro Volkmer de Castilho: Dynamic modelling of a simple existence constraint. Inf. Syst. 6(1): 73-80(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
...
[14]
Forouzan Golshani, T. S. E. Maibaum, M. R. Sadler: A Modal System of Algebras for Database Specification and Query/Update Language Support. VLDB 1983: 331-339 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
...
[16]
Robert A. Kowalski: A Proof Procedure Using Connection Graphs. J. ACM 22(4): 572-595(1975) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[17]
...
[18]
...
[19]
...
[20]
Nancy G. Leveson, Anthony I. Wasserman, Daniel M. Berry: BASIS: A Behavioral Approach to the Specification of Information Systems. Inf. Syst. 8(1): 15-23(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[21]
...
[22]
...
[23]
Bengt G. Lundberg: An Axiomatization of Events. BIT 22(3): 291-299(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[24]
...
[25]
Jack Minker, Jean-Marie Nicolas: On recursive axioms in deductive databases. Inf. Syst. 8(1): 1-13(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[26]
...
[27]
...
[28]
Antoni Olivé: Information Derivability Analysis In Logical Information Systems. Commun. ACM 26(11): 933-938(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[29]
Susan S. Owicki, Leslie Lamport: Proving Liveness Properties of Concurrent Programs. ACM Trans. Program. Lang. Syst. 4(3): 455-495(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[30]
...
[31]
John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41(1965) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[32]
Colette Rolland, S. Leifert, Christian Richard: Tools for Information System Dynamics Management. VLDB 1979: 251-261 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[33]
Ulrich Schiel: An Abstract Introduction to the Temporal-Hierarchic Data Model (THM). VLDB 1983: 322-330 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[34]
Amílcar Sernadas: Temporal aspects of logical procedure definiton. Inf. Syst. 5(3): 167-187(1980) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[35]
Terry Winograd: Beyond Programming Languages. Commun. ACM 22(7): 391-401(1979) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Tue Mar 16 02:21:57 2010 by Michael Ley (ley@uni-trier.de)