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 |
|---|---|---|---|---|
| 672 | Designing DBMS Support for the Temporal Dimension | 1984 | SIGMOD | 0.00015143745 |
| 5,081 | A Temporal Framework for Database Specification and Verification | 1984 | VLDB | 6.3710813e-05 |
| 6,196 | On Verification Of Database Temporal Constraints | 1985 | SIGMOD | 5.9465353e-05 |
| 6,321 | A Temporal Knowledge Representation Model OSAM*/T and Its Query Language OQL/T | 1991 | VLDB | 5.9149483e-05 |
| 9,910 | Transactions in Relational Databases (Preliminary Report) | 1984 | VLDB | 5.1972596e-05 |
| 13,137 | Incorporating Hierarchy in a Relational Model of Data | 1989 | SIGMOD | 5.093636e-05 |
| 13,177 | Axiomatization and Simplification Rules for Relational Transactions (Extended Abstract) | 1987 | PODS | 5.093636e-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 |
|---|---|---|---|---|
| 162 | Inclusion dependencies and their interaction with functional dependencies (Extended abstract) | 1982 | PODS | 0.00027886326 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 4,713 | On the Expressive Power of the Logical Data Model | 1985 | SIGMOD |
| 2 | 906 | A Temporal Framework for Database Specifications | 1982 | VLDB |
| 3 | 3,329 | A Generalized Model For A Relational Temporal Database | 1988 | SIGMOD |
| 4 | 589 | On The Semantics Of The Relational Data Model | 1975 | SIGMOD |
| 5 | 4,536 | On the Representation of Infinite Temporal Data and Queries (Extended Abstract) | 1991 | PODS |
| 6 | 6,722 | A Model-Theoretic Approach to Updating Logical Databases (Extended Abstract) | 1986 | PODS |
| 7 | 3,171 | Temporal versus First-Order Logic to Query Temporal Databases | 1996 | PODS |
| 8 | 709 | Logical Modeling Of Temporal Data | 1987 | SIGMOD |
| 9 | 4,242 | Specification, Semantics, and Enforcement of Dynamic Database Constraints | 1984 | VLDB |
| 10 | 13,163 | A logical framework for temporal deductive databases | 1988 | VLDB |