• Corpus ID: 234790210

Generating Significant Examples for Conceptual Schema Validation

  title={Generating Significant Examples for Conceptual Schema Validation},
  author={Henderik Alex Proper},
  • H. Proper
  • Published 20 May 2021
  • Computer Science
  • ArXiv
This report bases itself on the idea of using concrete examples to verify conceptual schemas, and in particular cardinality constraints. When novice ORM modellers model domains, the selection of proper cardinality constraints for relationship types is quite often prone to errors. In this report we propose a mechanism for the generation of significant examples for selected subschemas. The generated examples are significant in the sense that they illustrate the possible combinations of instances… 
1 Citations

ConQuer-92 - The revised report on the conceptual query language LISA-D

The conceptual query language ConQuer-92 is introduced and serves as the backbone of InfoAssistant’s query facilities and can be used for the specification of derivation rules and textual constraints in InfoModeler.



Conceptual Schema and Relational Database Design

Conceptual schema and relational database design will lead you to love reading starting from now, because book is the window to open the new world.

Interactive Query Formulation using Spider Queries

The spider query mechanism is proposed as a final corner stone for an easy to use computer supported query formulation mechanism for InfoAssisant and a brief discussion on the integration of the spider quer mechanism with the existing query by navigation, query by construction, and point to point query mechanisms.

Uniquest: Determining the Semantics of Complex Uniqueness Constraints

The Uniquest Algorithm is a constructive formal definition of the semantics of uniqueness constraints, and facilitates the implementation in so-called CASE-tools.

Abstraction Techniques for Conceptual Schemas

  • Proceedings of the 5th Australasian Database Conference,
  • 1994

Erik) Proper. Introduction to Formal Notations

  • 1994

Introduction to Formal Notations

  • Technical report, Asymetrix Research Laboratory,
  • 1994

Examples View: Seeing is Understanding

  • Technical report,
  • 1994