Completeness results for recursive data bases

DOI10.1006/jcss.1996.0039zbMath0858.68032OpenAlexW2042153283MaRDI QIDQ1924386

Tirza Hirst, David Harel

Publication date: 26 November 1996

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://hdl.handle.net/1813/6080

zbMATH Keywords

relational data bases

Mathematics Subject Classification ID

Database theory (68P15)

Related Items (4)

Finitely representable databases ⋮ Metafinite model theory ⋮ Linear constraint query languages expressive power and complexity ⋮ Queries and computation on the web

This page was built for publication: Completeness results for recursive data bases