University of Twente Research Information · 1993 · 15 citations · 0 references
Open access
ComputingComputer ScienceDatabasesSyntaxSystems ModelingConceptual ModelingData ModelingFormal SemanticsModel TheorySpecification LanguagesData Modeling LanguagesDatabase TransactionsDynamic LogicEquational LogicFormal ModelingMeta-modeling LanguagesModel Specification LanguageTransactions
The syntax of the conceptual model specification language LCM is defined. LCM uses equational logic to specify data types and order-sorted dynamic logic to specify objects with identity and mutable state. LCM specifies database transactions as finite sets of atomic object transitions.