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