# Higher Order Logic and Interoperability in Global Enterprise

@inproceedings{Heather2007HigherOL, title={Higher Order Logic and Interoperability in Global Enterprise}, author={Michael A. Heather and David Livingstone and Nick Rossiter}, year={2007} }

Techniques based on sets have proved useful in many types of information systems. In databases the relational model has maintained wide dominance in business data processing. However, interoperability between different databases, even when based on the relational model, is proving a major problem. Sets satisfy first-order predicate logic which as consistent and complete has many advantages in practical application. Interoperability requires higher order logic as the arguments themselves are…

## One Citation

Logical Foundations for the Infrastructure of the Information Market

- Engineering, Computer ScienceIESA
- 2008

Underlying problems in interoperability between different databases are looked at and it is suggested that they may be avoided by the use of categorial higher order logic.

## References

SHOWING 1-10 OF 25 REFERENCES

Conditions for Interoperability

- Computer ScienceICEIS
- 2005

The original three-level architecture for local databases needs to be replaced by a categorical four-level one based on concepts, constructions, schema types and data together with the mappings between them that provides natural closure as further levels are superfluous even in a global environment.

The Relational Model for Database Management, Version 2

- Computer Science
- 1990

This book describes all the features of the relational model that I now perceive as important for database users, and therefore for DBMS vendors, and contains 30 chapters and two appendixes.

Adjointness in Foundations

- Computer Science
- 1969

This article sums up a stage of the development of the relationship between category theory and proof theory and shows how already in 1967 category theory had made explicit a number of conceptual advances that were entering into the everyday practice of mathematics.

On the Unusual Effectiveness of Logic in Computer Science

- Computer ScienceBulletin of Symbolic Logic
- 2001

In 1960, E. P. Wigner published a paper titled On the Unreasonable Effectiveness of Mathematics in the Natural Sciences, which can be construed as an examination and affirmation of Galileo's tenet that “The book of nature is written in the language of mathematics”.

Databases, types and the relational model : the third manifesto

- Mathematics
- 2007

Part I PRELIMINARIES Chapter 1 Background and Overview Chapter 2 A Survey of the Relational Model Chapter 3 Toward a Theory of Types Part II FORMAL SPECIFICATIONS Chapter 4 The Third Manifesto…

Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

- Mathematics
- 1931

The Relational Model for Database Management AddisonWesley

- 1990

A Natural Basis for Interoperability, I-ESA'06 Preproceedings 12pp pdf

- A Natural Basis for Interoperability, I-ESA'06 Preproceedings 12pp pdf
- 2006

A Natural Basis for Interoperability, I-ESA’06

- Preproceedings 12pp pdf (CD,
- 2006

A Natural Basis for Interoperability, I-ESA’06 Preproceedings 12pp pdf (CD, W11

- 2006