University of Pennsylvania ScholarlyCommons
Technical Reports (CIS) Department of Computer & Information Science
April 1997
Some Undecidable Implication Problems for Path Constraints
Peter Buneman University of Pennsylvania
Wenfei Fan University of Pennsylvania
Scott Weinstein University of Pennsylvania, [email protected]
Follow this and additional works at: https://repository.upenn.edu/cis_reports
Recommended Citation Peter Buneman, Wenfei Fan, and Scott Weinstein, "Some Undecidable Implication Problems for Path Constraints", . April 1997.
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-97-14.
This paper is posted at ScholarlyCommons. https://repository.upenn.edu/cis_reports/84 For more information, please contact [email protected]. Some Undecidable Implication Problems for Path Constraints
Abstract 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.
Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MS- CIS-97-14.
This technical report is available at ScholarlyCommons: https://repository.upenn.edu/cis_reports/84
Some Undecidable Implication Problems for
Path Constraints
y z
Peter Buneman Wenfei Fan Scott Weinstein
p eter central cis up enn edu wfan saul cis up enn edu weinstein linc cis up enn edu
Department of Computer and Information Science
University of Pennsylvania
April
Abstract
We present a class of path constraints of interest in connection with b oth structured and
semistructured databases and investigate their asso ciated implication problems These path
constraints are capable of expressing natural integrity constraints that are not only a funda
mental part of the semantics of the data but are also imp ortant 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 nite implication problem for the constraints is co r e complete Indeed
we establish the existence of a conservative reduction of the set of all rst order sentences to
the path constraint language