dblp.uni-trier.de www.dagstuhl.de www.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}
}

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 ...

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[Al]
...
[An]
T. Lougenia Anderson: Modeling Time at the Conceptual Level. JCDKB 1982: 273-297 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BS]
...
[BN]
Horst Biller, Erich J. Neuhold: Semantics of data bases: The semantics of data models. Inf. Syst. 3(1): 11-30(1978) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BM]
...
[BW]
Alexander Borgida, Harry K. T. Wong: Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory. VLDB 1981: 260-271 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BFM]
...
[Br]
Michael L. Brodie: Axiomatic definitions for data modes semantics. Inf. Syst. 7(2): 183-197(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CFP]
Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou: Inclusion Dependencies and Their Interaction with Functional Dependencies. PODS 1982: 171-176 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Fag]
Ronald Fagin: Multivalued Dependencies and a New Normal Form for Relational Databases. ACM Trans. Database Syst. 2(3): 262-278(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Fa]
...
[GH]
John V. Guttag, James J. Horning: The Algebraic Specification of Abstract Data Types. Acta Inf. 10: 27-52(1978) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ha]
...
[ISO1]
...
[ISO2]
...
[LMP]
Harri Laine, Olavi Maanavilja, Eero Peltola: Grammatical data base model. Inf. Syst. 4(4): 257-267(1979) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[MP]
...
[MW]
John Mylopoulos, Harry K. T. Wong: Some Features of the TAXIS Data Model. VLDB 1980: 399-410 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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

Last update Fri Sep 14 17:38:05 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page