Abstract | ||
---|---|---|
This paper gives a formalization of the various modeling constructs that support the design of temporal DBMS. We conduct a deep investigation on evolu- tion constraints, eventually devising a model-theoretic s emantics for a full-fledged model with both timestamping and evolution constraints. Furthermore, we also show how to express temporal constraints using a subset of fir st-order temporal logic, i.e., the temporal description logic DLRUS . |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/11663881_3 | FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems |
Keywords | Field | DocType |
temporal conceptual model,description logic,first-order temporal logic,temporal operator,modeling language,evolution constraint,various modeling constraint,various temporal constructor,temporal constraint,temporal information system,conceptual model,satisfiability,automated reasoning | Automated reasoning,Timestamping,Knowledge representation and reasoning,Computer science,Description logic,Modeling language,Theoretical computer science,Temporal database,First-order logic,Temporal logic | Conference |
Volume | ISSN | ISBN |
3861 | 0302-9743 | 3-540-31782-1 |
Citations | PageRank | References |
7 | 0.54 | 22 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alessandro Artale | 1 | 997 | 102.31 |
Christine Parent | 2 | 1391 | 203.77 |
Stefano Spaccapietra | 3 | 2603 | 565.28 |
s j hegner m kirchberg | 4 | 7 | 0.54 |