A Temporal Framework for Database Specification and Verification.

@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

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

• Download PDF file (www.vldb.org, Darmstadt, Germany)
• Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/vldb7588 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

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) BibTeX

[4]

A. Bolour, L. J. Dekeyser: Abstractions in temporal information. Inf. Syst. 8(1): 41-49(1983) BibTeX

[5]

...

[6]

Janis A. Bubenko Jr.: On the Role of `Understanding Models' in Conceptual Schema Design. VLDB 1979: 129-139 BibTeX

[7]

Janis A. Bubenko Jr.: Information Modeling in the Context of System Development. IFIP Congress 1980: 395-411 BibTeX

[8]

José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado: A Temporal Framework for Database Specifications. VLDB 1982: 280-291 BibTeX

[9]

...

[10]

Tsun S. Chow: Testing Software Design Modeled by Finite-State Machines. IEEE Trans. Software Eng. 4(3): 178-187(1978) BibTeX

[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) BibTeX

[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 BibTeX

[15]

...

[16]

Robert A. Kowalski: A Proof Procedure Using Connection Graphs. J. ACM 22(4): 572-595(1975) BibTeX

[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) BibTeX

[21]

...

[22]

...

[23]

Bengt G. Lundberg: An Axiomatization of Events. BIT 22(3): 291-299(1982) BibTeX

[24]

...

[25]

Jack Minker, Jean-Marie Nicolas: On recursive axioms in deductive databases. Inf. Syst. 8(1): 1-13(1983) BibTeX

[26]

...

[27]

...

[28]

Antoni Olivé: Information Derivability Analysis In Logical Information Systems. Commun. ACM 26(11): 933-938(1983) BibTeX

[29]

Susan S. Owicki, Leslie Lamport: Proving Liveness Properties of Concurrent Programs. ACM Trans. Program. Lang. Syst. 4(3): 455-495(1982) BibTeX

[30]

...

[31]

John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41(1965) BibTeX

[32]

Colette Rolland, S. Leifert, Christian Richard: Tools for Information System Dynamics Management. VLDB 1979: 251-261 BibTeX

[33]

Ulrich Schiel: An Abstract Introduction to the Temporal-Hierarchic Data Model (THM). VLDB 1983: 322-330 BibTeX

[34]

Amílcar Sernadas: Temporal aspects of logical procedure definiton. Inf. Syst. 5(3): 167-187(1980) BibTeX

[35]

Terry Winograd: Beyond Programming Languages. Commun. ACM 22(7): 391-401(1979) BibTeX

Referenced by

1. Wesley W. Chu, Ion Tim Ieong, Ricky K. Taira, Claudine M. Breant: A Temporal Evolutionary Object-Oriented Data Model and Its Query Language for Medical Image Management. VLDB 1992: 53-64
2. Ellen Rose, Arie Segev: TOODM - A Temporal Object-Oriented Data Model with Temporal Constraints. ER 1991: 205-229
3. Klaus Hülsmann, Gunter Saake: Representation of the Historical Information Necessary for Temporal Integrity Monitoring. EDBT 1990: 378-392
4. Joan Peckham, Fred J. Maryanski: Semantic Data Models. ACM Comput. Surv. 20(3): 153-189(1988)
5. Udo W. Lipeck: Transformation of Dynamic Integrity Constraints into Transaction Specifications. ICDT 1988: 322-337
6. Udo W. Lipeck: Stepwise Specification of Dynamic Database Behaviour. SIGMOD Conference 1986: 387-397
7. David Chenho Kung: On Verification of Database Temporal Constraints. SIGMOD Conference 1985: 169-179
8. Federico Barbic, Barbara Pernici: Time Modeling in Office Information Systems. SIGMOD Conference 1985: 51-62