scientific article; zbMATH DE number 1950752

zbMATH Open1017.68043MaRDI QIDQ4413450

Ulrich Geske, Dietmar Seipel

Publication date: 20 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2582/25820179.htm

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

zbMATH Keywords

cardinality constraintsdisjunctive logic programmingconstraint logic programminghyperresolution

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Related Items (5)

Title not available (Why is that?) ⋮ The expressive power of cardinality-bounded set values in object-based data models ⋮ Combination of Among and Cardinality Constraints ⋮ On the implication problem for cardinality constraints and functional dependencies ⋮ Title not available (Why is that?)

Uses Software

• Smodels

Recommendations

• Title not available (Why is that?) 👍 👎
• Paraconsistent disjunctive deductive databases 👍 👎
• Applying restriction constraints to deductive databases 👍 👎
• Logical constraints as cardinality rules: Tight representation 👍 👎
• Theory and algorithms for disjunctive deductive databases 👍 👎
• Detecting Cardinality Constraints in CNF 👍 👎
• Cardinality constraints in semantic data models 👍 👎
• Logics in Artificial Intelligence 👍 👎
• Cardinality Restrictions Within Description Logic Connection Calculi 👍 👎

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