Technical Reports (CIS)
Document Type
Technical Report
Date of this Version
May 1997
Abstract
In [10], we introduced a path constraint language and established the undecidability of its associated implication problems. In this paper, we identify several fragments of the language, and establish the decidability of the implication and finite implication problems for each of these fragments in the context of semistructured databases. In addition, we demonstrate that these fragments suffice to express important semantic information such as extent constraint, inverse relationships and local database constraints commonly found in object-oriented databases. We also show that these fragments are useful for, among other things, query optimization.
DownloadDate Posted: 30 October 2006
Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-97-15.