• Corpus ID: 16570975

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

@article{Proper2021ConQuer92T,
  title={ConQuer-92 - The revised report on the conceptual query language LISA-D},
  author={Henderik Alex Proper},
  journal={ArXiv},
  year={2021},
  volume={abs/2105.11926}
}
  • H. Proper
  • Published 21 May 2021
  • Computer Science
  • ArXiv
In this report the conceptual query language ConQuer-92 is introduced. This query language serves as the backbone of InfoAssistant’s query facilities. Furthermore, this language can also be used for the specification of derivation rules (e.g. subtype defining rules) and textual constraints in InfoModeler. This report is solely concerned with a formal definition, and the explanation thereof, of ConQuer-92. The implementation of ConQuer-92 in SQL-92 will be treated in a separate report. 

Figures from this paper

Giving Meaning to Enterprise Architectures: Architecture Principles with ORM and ORC

TLDR
It is argued that when using ORM and ORC for formal modelling of architecture principles, the underlying logical principles of the techniques may lead to better insight into the rational structure of the principles.

References

SHOWING 1-10 OF 12 REFERENCES

FORMAL DEFINITION OF A CONCEPTUAL LANGUAGE FOR THE DESCRIPTION AND MANIPULATION OF INFORMATION MODELS

TLDR
A language for conceptual data modelling techniques, which is a generalisation of object-role models (such as ER or NIAM), is defined, in which not only constraints, but also queries and updates can be expressed on a conceptual level.

A Conceptual Language for the Description and Manipulation of Complex Information Models

TLDR
An informal introduction to such a language (LISA-D) for the data modelling technique (PSM), is presented, which is a generalisation of object-role models (such as ER, NIAM and FORM).

Generating Significant Examples for Conceptual Schema Validation

TLDR
A mechanism for the generation of significant examples for selected subschemas, and an algorithm that allows us to detect possible flaws in the conceptual schema by calculating the number of instances that can be used to populate the types in the schema.

Interactive Query Formulation using Point to Point Queries

TLDR
This article proposes the point to point query mechanism that can be combined with the existing mechanism into an unprecedented computer supported query formulation mechanism, and discusses some of the pragmatic and theoretical issues involved.

Conceptual Schema and Relational Database Design

TLDR
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.

The lambda calculus - its syntax and semantics

  • H. Barendregt
  • Mathematics
    Studies in logic and the foundations of mathematics
  • 1985

Specification and Transformation of Programs - A Formal Approach to Software Development

  • H. Partsch
  • Computer Science
    Texts and Monographs in Computer Science
  • 1990
TLDR
This chapter discusses Software Engineering, Transformational Programming, and the Problematics of Software Development from Descriptive Specifications to Operational Ones.

Basic Set Theory

DEF: For our purposes, a set is any collection of entities. Sometimes we list the elements in a set: {John, Bill, Mary} {5, 77, 12, 1818} {1, 3, 5, 7, 9, . . . } Sometimes we describe the set by