scientific article; zbMATH DE number 966595

zbMATH Open0861.68022MaRDI QIDQ5689986FDOQ5689986

Authors: Mirko Maleković 

Publication date: 15 January 1997

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

relational databasetableau deductive system

Mathematics Subject Classification ID

Database theory (68P15)

Cited In (5)

• Pragmatic Formal Specification of System Properties by Tables
• Independent and Separable Database Schemes
• Finite approximatization of languages for representation of system properties: Axiomatization of dependencies
• Title not available (Why is that?)
• Formal systems for join dependencies

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)