@msn

Reasoning on temporal conceptual schemas with dynamic constraints

. Temporal Representation and Reasoning, 2004. TIME 2004. Proceedings. 11th International Symposium on, Seite 79-86. (Juli 2004)
DOI: 10.1109/TIME.2004.1314423

Zusammenfassung

This paper formally clarifies the relevant reasoning problems for temporal EER diagrams. We distinguish between the following reasoning services: (a) entity, relationship and schema satisfiability; (b) liveness and global satisfiability for both entities and relationships; (c) subsumption for either entities or relationships; and (d) logical implication between schemas. We then show that reasoning on temporal models is an undecidable problem as soon as the schema language is able to distinguish between temporal and atemporal constructs, and it has the ability to represent dynamic constraints between entities.

Beschreibung

Welcome to IEEE Xplore 2.0: Reasoning on temporal conceptual schemas with dynamic constraints

Links und Ressourcen

Tags

Community

  • @msn
  • @dblp
@msns Tags hervorgehoben