ACM SIGMOD Anthology VLDB dblp.uni-trier.de

An Abstract Introduction to the Temporal-Hierarchic Data Model (THM).

Ulrich Schiel: An Abstract Introduction to the Temporal-Hierarchic Data Model (THM). VLDB 1983: 322-330
@inproceedings{DBLP:conf/vldb/Schiel83,
  author    = {Ulrich Schiel},
  editor    = {Mario Schkolnick and
               Costantino Thanos},
  title     = {An Abstract Introduction to the Temporal-Hierarchic Data Model
               (THM)},
  booktitle = {9th International Conference on Very Large Data Bases, October
               31 - November 2, 1983, Florence, Italy, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1983},
  isbn      = {0-934613-15-X},
  pages     = {322-330},
  ee        = {db/conf/vldb/Schiel83.html},
  crossref  = {DBLP:conf/vldb/83},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

The static concepts of a semantic database model are formalized by axioms of first-order predicate calculus and set theory. Then, the basic operations are defined and, in order to maintain a database consistent, a set of dynamic axioms and side-effect axioms is stated using dynamic and temporal logic. The necessity and sufficiency of the dynamic rules is stated and an example shows how the side-effects works.

Copyright © 1983 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 ... BibTeX

Printed Edition

Mario Schkolnick, Costantino Thanos (Eds.): 9th International Conference on Very Large Data Bases, October 31 - November 2, 1983, Florence, Italy, Proceedings. Morgan Kaufmann 1983, ISBN 0-934613-15-X
Contents BibTeX

References

[Al]
...
[An]
T. Lougenia Anderson: Modeling Time at the Conceptual Level. JCDKB 1982: 273-297 BibTeX
[As]
Dennis Tsichritzis, Anthony C. Klug: The ANSI/X3/SPARC DBMS Framework Report of the Study Group on Dabatase Management Systems. Inf. Syst. 3(3): 173-191(1978) BibTeX
[BS]
...
[BN]
Horst Biller, Erich J. Neuhold: Semantics of data bases: The semantics of data models. Inf. Syst. 3(1): 11-30(1978) BibTeX
[BM]
...
[BW]
Alexander Borgida, Harry K. T. Wong: Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory. VLDB 1981: 260-271 BibTeX
[BFM]
...
[Br]
Michael L. Brodie: Axiomatic definitions for data modes semantics. Inf. Syst. 7(2): 183-197(1982) BibTeX
[CFP]
Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou: Inclusion Dependencies and Their Interaction with Functional Dependencies. PODS 1982: 171-176 BibTeX
[Fag]
Ronald Fagin: Multivalued Dependencies and a New Normal Form for Relational Databases. ACM Trans. Database Syst. 2(3): 262-278(1977) BibTeX
[Fa]
...
[GH]
John V. Guttag, James J. Horning: The Algebraic Specification of Abstract Data Types. Acta Inf. 10: 27-52(1978) BibTeX
[Ha]
...
[ISO1]
...
[ISO2]
...
[LMP]
Harri Laine, Olavi Maanavilja, Eero Peltola: Grammatical data base model. Inf. Syst. 4(4): 257-267(1979) BibTeX
[MP]
...
[MW]
John Mylopoulos, Harry K. T. Wong: Some Features of the TAXIS Data Model. VLDB 1980: 399-410 BibTeX
[OSV]
...
[Ru]
...
[SNF]
Clesio Saraiva dos Santos, Erich J. Neuhold, Antonio L. Furtado: A Data Type Approach to the Entity-Relationship Approach. ER 1979: 103-119 BibTeX
[Sc1]
...
[Sc2]
...
[Sc3]
...
[Sc4]
...
[SFNC]
Ulrich Schiel, Antonio L. Furtado, Erich J. Neuhold, Marco A. Casanova: Towards multi-level and modular conceptual schema specifications. Inf. Syst. 9(1): 43-57(1984) BibTeX
[Su]
...
[WFW]
...

Referenced by

  1. Stanley Y. W. Su, Hsin-Hsing M. Chen: A Temporal Knowledge Representation Model OSAM*/T and Its Query Language OQL/T. VLDB 1991: 431-442
  2. H. V. Jagadish: Incorporating Hierarchy in a Relational Model of Data. SIGMOD Conference 1989: 78-87
  3. Joan Peckham, Fred J. Maryanski: Semantic Data Models. ACM Comput. Surv. 20(3): 153-189(1988)
  4. Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18
  5. Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu: Axiomatization and Simplification Rules for Relational Transactions. PODS 1987: 254-259
  6. Rudi Studer: A Conceptual Model for Physical and Logical Time. ER 1987: 223-235
  7. Rudi Studer: Modeling Time Aspects of Information Systems. ICDE 1986: 364-373
  8. David Chenho Kung: On Verification of Database Temporal Constraints. SIGMOD Conference 1985: 169-179
  9. David Chenho Kung: A Temporal Framework for Database Specification and Verification. VLDB 1984: 91-99
  10. Serge Abiteboul, Victor Vianu: Transactions in Relational Databases (Preliminary Report). VLDB 1984: 46-56
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:45:20 2009