Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems

14 pages•Published: July 28, 2014

Gabriel Aranda, Susana Nieva, Fernando Saenz-Perez and Jaime Sánchez-Hernández

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: Ken 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:	https://easychair.org/publications/paper/Fs7
	https://doi.org/10.29007/3drl

BibTeX entry

@inproceedings{LPAR-19:Incorporating_Hypothetical_Views_Extended,
  author    = {Gabriel Aranda and Susana Nieva and Fernando Saenz-Perez and Jaime Sánchez-Hernández},
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Fs7},
  doi       = {10.29007/3drl},
  pages     = {9-22},
  year      = {2014}}

Download PDF Open PDF in browser