An Abstract Introduction to the Temporal-Hierarchic Data Model (THM)
Summary: Introduces the Temporal-Hierarchic Data Model (THM) axiomatically via set theory and first-order logic, extending it with dynamic and temporal logic. Static invariants, operations, and consistency-preserving side effects are unified by necessary and sufficient dynamic rules. (summarized by gpt-5.6-luna on Jul 24 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Ulrich Schiel (Federal University of Paraíba; University of Stuttgart)
BibTeX Citation
@article{schiel_vldb83,
title = {{An Abstract Introduction to the Temporal-Hierarchic Data Model (THM)}},
author = {Schiel, Ulrich},
journal = {PVLDB},
series = {{VLDB} '83},
pages = {322},
year = {1983}
}Incoming Citations (Sorted by Pagerank)
Showing 7 of 7 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 681 | Designing DBMS Support for the Temporal Dimension | 1984 | SIGMOD | 0.00014821572 |
| 5,206 | A Temporal Framework for Database Specification and Verification | 1984 | VLDB | 6.2281354e-05 |
| 6,328 | On Verification Of Database Temporal Constraints | 1985 | SIGMOD | 5.813111e-05 |
| 6,448 | A Temporal Knowledge Representation Model OSAM*/T and Its Query Language OQL/T | 1991 | VLDB | 5.7822982e-05 |
| 10,097 | Transactions in Relational Databases (Preliminary Report) | 1984 | VLDB | 5.0806471e-05 |
| 13,427 | Incorporating Hierarchy in a Relational Model of Data | 1989 | SIGMOD | 4.9793485e-05 |
| 13,467 | Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract) | 1987 | PODS | 4.9793485e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 1 of 1 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 159 | Inclusion dependencies and their interaction with functional dependencies (Extended abstract) | 1982 | PODS | 0.00027958527 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 4,811 | On the Expressive Power of the Logical Data Model | 1985 | SIGMOD |
| 2 | 930 | A Temporal Framework for Database Specifications | 1982 | VLDB |
| 3 | 3,381 | A Generalized Model For A Relational Temporal Database | 1988 | SIGMOD |
| 4 | 602 | On The Semantics Of The Relational Data Model | 1975 | SIGMOD |
| 5 | 4,632 | On the Representation of Infinite Temporal Data and Queries (Extended Abstract) | 1991 | PODS |
| 6 | 6,857 | A Model-Theoretic Approach to Updating Logical Databases (Extended Abstract) | 1986 | PODS |
| 7 | 3,223 | Temporal versus First-Order Logic to Query Temporal Databases | 1996 | PODS |
| 8 | 729 | Logical Modeling Of Temporal Data | 1987 | SIGMOD |
| 9 | 4,335 | Specification, Semantics, and Enforcement of Dynamic Database Constraints | 1984 | VLDB |
| 10 | 13,453 | A logical framework for temporal deductive databases | 1988 | VLDB |