IsaLog¬: a deductive language with negation for complex-object databases with hierarchies

DOI10.1016/S0169-023X(96)00051-1zbMath0904.68085OpenAlexW1996485047MaRDI QIDQ4398681

Paolo Atzeni, Giansalvatore Mecca, Luca Cabibbo

Publication date: 22 July 1998

Published in: Data & Knowledge Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0169-023x(96)00051-1

zbMATH Keywords

object identitydeclarative languagescomplex-object databasesexplicit Skolem functorsoid invention

Mathematics Subject Classification ID

Database theory (68P15) Formal languages and automata (68Q45) Data structures (68P05)

This page was built for publication: IsaLog¬: a deductive language with negation for complex-object databases with hierarchies