Technical Reports (CIS)


A PC Chase

Document Type

Technical Report

Date of this Version

January 1998


University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-98-24.


PC stands for path-conjunctive, the name of a class of queries and dependencies that we define over complex values with dictionaries. This class includes the relational conjunctive queries and embedded dependencies, as well as many interesting examples of complex value and oodb queries and integrity constraints. We show that some important classical results on containment, dependency implication, and chasing extend and generalize to this class.



Date Posted: 06 June 2007