scientific article; zbMATH DE number 966595

MaRDI QIDQ5689986zbMATH OpenFDO

Authors Mirko Maleković

Publication date 15 January 1997

zbMATH Keywords

relational databasetableau deductive system

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Publication:4489062
• Embedding deductive capabilities in relational database systems
• The deevolution of concurrent logic programming languages
• Formally verified tableau-based reasoners for a description logic
• Relational and Kleene-Algebraic Methods in Computer Science
• A basis for deductive database systems
• Toward a verified relational database management system
• Towards an abstract theory of dependency constraints in relational databases
• scientific article; zbMATH DE number 3917748

Cited in

(6)

• Axiomatic of multivalued dependences in tabular databases
• Formal systems for join dependencies
• scientific article; zbMATH DE number 1471978 (Why is no real title available?)
• Pragmatic Formal Specification of System Properties by Tables
• Finite approximatization of languages for representation of system properties: Axiomatization of dependencies
• Independent and Separable Database Schemes

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 Q5689986)