Knihobot

Thomas B. Steel

    Data semantics (DS-1)
    • Objects and abstract data types in information systems; Modeling static and dynamic aspects of information systems; On the relationship between conceptual schemata and integrity constraints on databases; Conceptual modelling based on net refinements; Conceptual models in prolog; Semantic agreement and the communication of knowledge; A denotational semantics for administrative databases; Conceptual modeling abstraction mechanisms as parameterized theories in institutions; Database specification; Enhancing the operational semantics of the entity-relationship model; The realities of data: basic properties of data reconsidered; On experience with large-scale teaching and use of fact-based conceptual schemas in industry and university; On structural and behavioral modelling of reality; Temporal aspects of databases: interaction between state and event relations; ; A logic of social norms for the semantics of business information.

      Data semantics (DS-1)