Algebraic Methodology and Software Technology

DOI10.1007/B98770zbMATH Open1108.68373OpenAlexW2973096144MaRDI QIDQ5313010FDOQ5313010

Authors: Michael Benedikt, Glenn Bruns 

Publication date: 25 August 2005

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

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

Recommendations

• scientific article; zbMATH DE number 1717351
• scientific article; zbMATH DE number 1182734
• Publication:3201753
• On simplification of database integrity constraints
• Integrity checking and maintenance in relational and deductive databases and beyond

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (1)

• Title not available (Why is that?)

Uses Software

• PVS
• SIMPLIFY

This page was built for publication: Algebraic Methodology and Software Technology

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