Conference item icon

Conference item

How can reasoners simplify database querying (and why haven’t they done it yet)?

Abstract:

The last few decades have seen vast progress in computational reasoning. This has included significant developments in theory, increasing maturity of tools both in performance and usability, and the evolution of standards and benchmarks. The purpose of this article is to reflect on the use of reasoning for rewriting and simplifying relational database queries. We undertake a review of some of the results and reasoning algorithms that have been developed with a motivation from query evaluation...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted manuscript

Actions


Access Document


Files:
Publisher copy:
10.1145/3196959.3196989

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS Division
Department:
Computer Science
Oxford college:
University College
Role:
Author
Publisher:
Association for Computing Machinery Publisher's website
Publication date:
2018-05-27
Acceptance date:
2018-04-06
DOI:
Pubs id:
pubs:833935
URN:
uri:5d88fcae-d050-415f-9353-235da56cf780
UUID:
uuid:5d88fcae-d050-415f-9353-235da56cf780
Local pid:
pubs:833935

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP