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

DOI10.1016/S0169-023X(96)00051-1MaRDI QIDQ4397079zbMATH OpenOpenAlexFDO

Authors Paolo Atzeni, Luca Cabibbo, Giansalvatore Mecca

Publication date 30 June 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

complex-object databasesdeclarative languagesexplicit Skolem functorsobject identityoid invention

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• IsaLog¬: a deductive language with negation for complex-object databases with hierarchies
• Extended database logic: Complex objects and deduction
• A logic for programming with complex objects
• scientific article; zbMATH DE number 638304

Cited in

(2)

• IsaLog¬: a deductive language with negation for complex-object databases with hierarchies
• Enhancing the expressive power of the U-Datalog language

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4397079)