Sciweavers

85
Voted
JACM
2000
81views more  JACM 2000»
14 years 10 months ago
Relational queries over interpreted structures
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
Michael Benedikt, Leonid Libkin