scientific article; zbMATH DE number 966595

zbMATH Open0861.68022MaRDI QIDQ5689986FDOQ5689986

Mirko Maleković

Publication date: 15 January 1997

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

zbMATH Keywords

relational databasetableau deductive system

Mathematics Subject Classification ID

Database theory (68P15)

Cited In (3)

• Pragmatic Formal Specification of System Properties by Tables
• Independent and Separable Database Schemes
• Title not available (Why is that?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• Title not available (Why is that?) 👍 👎

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)