Technical Report MC-CIS-93-62,
University of Pennsylvania, 1993.
The notion of a database query is generalized for databases with user-defined functions. Then, we can prove that the computable queries coincide with those expressible by an extension of the relational machine with oracles. This implies that any complete query language, extended with user-defined function symbols in a ``reasonable'' way, is still complete. We give an example of a complete query language with user-defined functions, and discuss its connections with object inventions.
See here for the paper.
Back to DB Group Homepage
sharker@saul.cis.upenn.edu