Technical Reports (CIS)

Document Type

Technical Report

Date of this Version

April 1997


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


We present a class of path constraints of interest in connection with both structured and semi-structured databases, and investigate their associated implication problems. These path constraints are capable of expressing natural integrity constraints that are not only a fundamental part of the semantics of the data, but are also important in query optimization. We show that, despite the simple syntax of the constraints, the implication problem for the constraints is r.e. complete and the finite implication problem for the constraints is co-r.e. complete. Indeed, we establish the existence of a conservative reduction of the set of all first-order sentences to the path constraint language.



Date Posted: 30 October 2006