Declarative PTIME queries for relational databases using quantifier elimination

DOI10.1093/logcom/9.5.737zbMath0945.68049OpenAlexW1978058195MaRDI QIDQ4934813

Patrick Doherty, Andrzej Szałas, Witold Łukaszewicz

Publication date: 30 January 2000

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/19474c76567e919f0dde403eec1b6959bac7227c

zbMATH Keywords

declarative query languagerelational deductive databasessemi-Horn query languageSHQL

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (2)

Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals ⋮ Approximate databases: a support tool for approximate reasoning

This page was built for publication: Declarative PTIME queries for relational databases using quantifier elimination