Keyword:Fixpoint Semantics

Publications
Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems Gabriel Aranda, Susana Nieva, Fernando Saenz-Perez and Jaime Sánchez-Hernández In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning