Reasoning on temporal conceptual schemas with dynamic constraints
A. Artale. Temporal Representation and Reasoning, 2004. TIME 2004. Proceedings. 11th International Symposium on, page 79-86. (July 2004)
DOI: 10.1109/TIME.2004.1314423
Abstract
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.
Description
Welcome to IEEE Xplore 2.0: Reasoning on temporal conceptual schemas with dynamic constraints
%0 Conference Paper
%1 artale04schema
%A Artale, A.
%B Temporal Representation and Reasoning, 2004. TIME 2004. Proceedings. 11th International Symposium on
%D 2004
%K research.conceptual.schema research.conceptual.time
%P 79-86
%R 10.1109/TIME.2004.1314423
%T Reasoning on temporal conceptual schemas with dynamic constraints
%X 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.
@inproceedings{artale04schema,
abstract = { 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.},
added-at = {2009-06-30T15:37:09.000+0200},
author = {Artale, A.},
biburl = {https://www.bibsonomy.org/bibtex/2ef51851ebe844e4199195b5e01d44c32/msn},
booktitle = {Temporal Representation and Reasoning, 2004. TIME 2004. Proceedings. 11th International Symposium on},
description = {Welcome to IEEE Xplore 2.0: Reasoning on temporal conceptual schemas with dynamic constraints},
doi = {10.1109/TIME.2004.1314423},
interhash = {5ef74dcc906671f15b226af705914e59},
intrahash = {ef51851ebe844e4199195b5e01d44c32},
issn = {1550-1311},
keywords = {research.conceptual.schema research.conceptual.time},
month = {July},
pages = { 79-86},
timestamp = {2009-06-30T15:37:09.000+0200},
title = {Reasoning on temporal conceptual schemas with dynamic constraints},
year = 2004
}