Proving semantical equivalence of data specifications

DOI10.1016/S0022-4049(96)00168-5MaRDI QIDQ678825zbMATH OpenFDO

Authors Frank Piessens, Eric Steegmans

Publication date 16 July 1997

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

equivalence problemcategories of finite modelsdata specificationessentially algebraic specificationsketchesview integration problem

Mathematics Subject Classification ID

Database theory (68P15) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract data types; algebraic specification (68Q65) Partial algebras (08A55) Functor categories, comma categories (18A25)

Recommendations

• Specification and verification for semi-structured data
• Semantic specification and verification of data flow diagrams
• A Proof Procedure for Data Dependencies
• Theorem prover approach to semistructured data design
• Algebraic Methodology and Software Technology
• Towards a Proof-Theoretic Semantics of Equalities
• Equivalence of formal semantics definition methods
• Proofs in parameterized specifications
• On Equality Predicates in Algebraic Specification Languages
• Computer Aided Verification

Cites work

• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4033040 (Why is no real title available?)
• scientific article; zbMATH DE number 3656176 (Why is no real title available?)
• scientific article; zbMATH DE number 193539 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 918294 (Why is no real title available?)
• A completion procedure for conditional equations
• A generalization of the concept of sketch
• Aspects of topoi
• Category theory for computing science
• Completeness results for intuitionistic and modal logic in a categorical setting
• Conditional rewrite rules
• Generalized sketches as a framework for completeness theorems. I-III
• Left exact logic
• Orderings for term-rewriting systems

Cited in

(3)

• Relaxed models for rewriting logic
• A decision procedure for semantical equivalence of thin FM specifications
• A diagrammatic logic for object-oriented visual modeling

This page was built for publication: Proving semantical equivalence of data specifications

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