Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Benedikt, Michael - Computing Laboratory, University of Oxford
Safe Constraint Queries Michael A. Benedikt and Leonid Libkin
Verifiable Properties of Database Transactions
XPath Leashed Michael Benedikt
De fi nab ility over Linear Con stra ints Michael Benedikt 1 H. Jerome Keisler 2
From XQuery to Relational Logics Predicate logic has long been seen as a good foundation for querying relational data. This is
Capturing both Types and Constraints in Data Integration 1. Introduction
Reachability and Connectivity Queries in Constraint Databases Michael Benedikt y
Exact and Approximate Aggregation in Constraint Query Languages
Languages for Relational Databases over Interpreted Structures
On the Structure of Queries in Constraint Query Languages
Regular Repair of Specifications Michael Benedikt Gabriele Puppis Cristian Riveros
A Decidable Logic for Describing Linked Data Structures
Regular tree languages definable in FO Michael Benedikt Luc Segoufin
DTD-Directed Publishing with Attribute Translation Grammars Michael Benedikt Chee Yong Chan Wenfei Fan Rajeev Rastogi
Embedded Finite Models, Stability, and the Impact of Order
Querying schemas with access restrictions Michael Benedikt
