Download PDFOpen PDF in browser

Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems

14 pagesPublished: July 28, 2014

Abstract

Current database systems supporting recursive SQL impose
restrictions on queries such as linearity, and do not implement mutual
recursion. In a previous work we presented the language and prototype
R-SQL to overcome those drawbacks. Now we introduce a formalization
and an implementation of the database system HR-SQL that, in addition to extended recursion, incorporates hypothetical reasoning in a novel
way which cannot be found in any other SQL system, allowing both positive and negative assumptions. The formalization extends the fixpoint
semantics of R-SQL. The implementation improves the eciency of the
previous prototype and is integrated in a commercial DBMS.

Keyphrases: Databases, Fixpoint Semantics, Hypothetical Queries, recursion

In: Kenneth L. McMillan, Aart Middeldorp, Geoff Sutcliffe and Andrei Voronkov (editors). LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol 26, pages 9--22

Links:
BibTeX entry
@inproceedings{LPAR-19:Incorporating_Hypothetical_Views_and,
  author    = {Gabriel Aranda and Susana Nieva and Fernando Saenz-Perez and Jaime S\textbackslash{}'anchez-Hern\textbackslash{}'andez},
  title     = {Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems},
  booktitle = {LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Ken Mcmillan and Aart Middeldorp and Geoff Sutcliffe and Andrei Voronkov},
  series    = {EPiC Series in Computing},
  volume    = {26},
  pages     = {9--22},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Fs7},
  doi       = {10.29007/3drl}}
Download PDFOpen PDF in browser