Technical Reports (CIS)

Document Type

Technical Report

Date of this Version

May 1997


University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-97-15.


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.



Date Posted: 30 October 2006