Declarative PTIME queries for relational databases using quantifier elimination
From MaRDI portal
Publication:4934813
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
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