Converting untyped formulas to typed ones

DOI10.1007/s002360050135zbMath0920.03011OpenAlexW1977757011MaRDI QIDQ1284693

Luca Cabibbo, Jan Van den Bussche

Publication date: 26 April 1999

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1942/715

zbMATH Keywords

first-order logicmany-sorted logicexpressive power of active-domain quantification in the relational calculusmany-sorted formulasuntyped formula

Mathematics Subject Classification ID

Database theory (68P15) Classical first-order logic (03B10)

Related Items (1)

Relational completeness of query languages for annotated databases

This page was built for publication: Converting untyped formulas to typed ones