Foundations of Rule−Based Query Answering
<p>This survey article introduces into the essential concepts and methods underlying rule-based query languages. It covers four complementary areas: declarative semantics based on adaptations of mathematical logic, operational semantics, complexity and expressive power, and optimisation of que...
| Main Authors: | , , , , , , , , |
|---|---|
| Formato: | Conference item |
| Publicado em: |
Springer
2007
|
| _version_ | 1826256690160336896 |
|---|---|
| author | Bry, F Eisinger, N Eiter, T Furche, T Gottlob, G Ley, C Linse, B Pichler, R Wei, F |
| author_facet | Bry, F Eisinger, N Eiter, T Furche, T Gottlob, G Ley, C Linse, B Pichler, R Wei, F |
| author_sort | Bry, F |
| collection | OXFORD |
| description | <p>This survey article introduces into the essential concepts and methods underlying rule-based query languages. It covers four complementary areas: declarative semantics based on adaptations of mathematical logic, operational semantics, complexity and expressive power, and optimisation of query evaluation. </p><p>The treatment of these areas is foundation-oriented, the foundations having resulted from over four decades of research in the logic programming and database communities on combinations of query languages and rules. These results have later formed the basis for conceiving, improving, and implementing several Web and Semantic Web technologies, in particular query languages such as XQuery or SPARQL for querying relational, XML, and RDF data, and rule languages like the “Rule Interchange Framework (RIF)” currently being developed in a working group of the W3C. </p><p>Coverage of the article is deliberately limited to declarative languages in a classical setting: issues such as query answering in F-Logic or in description logics, or the relationship of query answering to reactive rules and events, are not addressed.</p> |
| first_indexed | 2024-03-06T18:06:14Z |
| format | Conference item |
| id | oxford-uuid:0181e093-c3b5-4a60-b46d-c7b208c5e77f |
| institution | University of Oxford |
| last_indexed | 2024-03-06T18:06:14Z |
| publishDate | 2007 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:0181e093-c3b5-4a60-b46d-c7b208c5e77f2022-03-26T08:35:25ZFoundations of Rule−Based Query AnsweringConference itemhttp://purl.org/coar/resource_type/c_5794uuid:0181e093-c3b5-4a60-b46d-c7b208c5e77fDepartment of Computer ScienceSpringer2007Bry, FEisinger, NEiter, TFurche, TGottlob, GLey, CLinse, BPichler, RWei, F<p>This survey article introduces into the essential concepts and methods underlying rule-based query languages. It covers four complementary areas: declarative semantics based on adaptations of mathematical logic, operational semantics, complexity and expressive power, and optimisation of query evaluation. </p><p>The treatment of these areas is foundation-oriented, the foundations having resulted from over four decades of research in the logic programming and database communities on combinations of query languages and rules. These results have later formed the basis for conceiving, improving, and implementing several Web and Semantic Web technologies, in particular query languages such as XQuery or SPARQL for querying relational, XML, and RDF data, and rule languages like the “Rule Interchange Framework (RIF)” currently being developed in a working group of the W3C. </p><p>Coverage of the article is deliberately limited to declarative languages in a classical setting: issues such as query answering in F-Logic or in description logics, or the relationship of query answering to reactive rules and events, are not addressed.</p> |
| spellingShingle | Bry, F Eisinger, N Eiter, T Furche, T Gottlob, G Ley, C Linse, B Pichler, R Wei, F Foundations of Rule−Based Query Answering |
| title | Foundations of Rule−Based Query Answering |
| title_full | Foundations of Rule−Based Query Answering |
| title_fullStr | Foundations of Rule−Based Query Answering |
| title_full_unstemmed | Foundations of Rule−Based Query Answering |
| title_short | Foundations of Rule−Based Query Answering |
| title_sort | foundations of rule based query answering |
| work_keys_str_mv | AT bryf foundationsofrulebasedqueryanswering AT eisingern foundationsofrulebasedqueryanswering AT eitert foundationsofrulebasedqueryanswering AT furchet foundationsofrulebasedqueryanswering AT gottlobg foundationsofrulebasedqueryanswering AT leyc foundationsofrulebasedqueryanswering AT linseb foundationsofrulebasedqueryanswering AT pichlerr foundationsofrulebasedqueryanswering AT weif foundationsofrulebasedqueryanswering |