Expressing quantification in relational calculus by participation constraints

DOI10.1016/0893-9659(93)90148-GMaRDI QIDQ2365992zbMATH OpenWikidataFDO

Authors Ralph P. Tucci, David W. Embley, Bogdan Denny Czejdo

Publication date 29 June 1993

Published in Applied Mathematics Letters (Search for Journal in Brave)

zbMATH Keywords

relational calculusparticipation constraints

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 219206
• Relational expressive power of constraint query languages
• Constants and finite unary relations in qualitative constraint reasoning
• Finite quantifier hierarchies in relational algebras
• A relational calculus for program construction by parts
• scientific article; zbMATH DE number 870184
• Partially interpreted relations and partially interpreted quantifiers
• A confluent relational calculus for higher-order programming with constraints
• Generalizing consistency and other constraint properties to quantified constraints

Cites work

• Implementation of a structured English query language

Cited in

(1)

• scientific article; zbMATH DE number 219206 (Why is no real title available?)

This page was built for publication: Expressing quantification in relational calculus by participation constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2365992)