Expressing quantification in relational calculus by participation constraints

DOI10.1016/0893-9659(93)90148-GzbMATH Open0796.68070WikidataQ126422224 ScholiaQ126422224MaRDI QIDQ2365992FDOQ2365992

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

Publication date: 29 June 1993

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

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

zbMATH Keywords

relational calculusparticipation constraints

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

• Implementation of a structured English query language

Cited In (1)

• Title not available (Why is that?)

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)