scientific article; zbMATH DE number 966595

zbMATH Open0861.68022MaRDI QIDQ5689986

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)

Related Items (2)

Independent and Separable Database Schemes ⋮ Pragmatic Formal Specification of System Properties by Tables

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Towards an abstract theory of dependency constraints in relational databases 👍 👎
• Formally verified tableau-based reasoners for a description logic 👍 👎
• Embedding deductive capabilities in relational database systems 👍 👎
• A basis for deductive database systems 👍 👎
• Toward a verified relational database management system 👍 👎
• Relational and Kleene-Algebraic Methods in Computer Science 👍 👎
• The deevolution of concurrent logic programming languages 👍 👎

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)