scientific article; zbMATH DE number 4049155

MaRDI QIDQ3786035zbMATH OpenFDO

Authors Shamim Naqvi

Publication date 1986

zbMATH Keywords

Horn databasesReiter's closed world assumption

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Cited in

(3)

• On the number of databases and closure operations
• Logic based structure rewriting systems
• Replacing unification by constraint satisfaction to improve logic program expressiveness

This page was built for publication:

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