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)

[4]

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

[5]

...

[6]

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

[7]

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

[8]

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

[9]

...

[10]

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

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

[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

[15]

...

[16]

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

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

[21]

...

[22]

...

[23]

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

[24]

...

[25]

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

[26]

...

[27]

...

[28]

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

[29]

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

[30]

...

[31]

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

[32]

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

[33]

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

[34]

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

[35]

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