Canonical forms for data-specifications

DOI10.1007/BFB0022271MaRDI QIDQ4474855zbMATH OpenFDO

Authors Frank Piessens, Eric Steegmans

Publication date 21 July 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0022271

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Database theory (68P15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 918294
• Detecting equivalence of modular specifications with categorical diagrams
• A decision procedure for semantical equivalence of thin FM specifications
• Entity-relationship-attribute designs and sketches
• scientific article; zbMATH DE number 1522144

Cited in

(3)

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

This page was built for publication: Canonical forms for data-specifications

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