HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems

DOI10.1016/j.ic.2019.104485zbMath1435.68077OpenAlexW2982136809WikidataQ115203450 ScholiaQ115203450MaRDI QIDQ2304532

Jaime Sánchez-Hernández, Susana Nieva, Fernando Sáenz-Pérez

Publication date: 12 March 2020

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2019.104485

zbMATH Keywords

SQLrecursionrelational databasesfixpoint semanticshypothetical queries

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (1)

HR-SQL

Uses Software

• Easychair
• Oracle
• ACIDE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A lattice-theoretical fixpoint theorem and its applications
• Datalog and Recursive Query Processing
• A generalization of the differential approach to recursive query evaluation
• Enhancing the expressive power of the U-Datalog language
• Experimenting with recursive queries in database and logic programming systems
• Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation
• Introduction to constraint databases

This page was built for publication: HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems