Corpus ID: 18999626

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… Expand

Figures from this paper

Logical Foundations for the Infrastructure of the Information Market
TLDR
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. Expand

References

SHOWING 1-10 OF 25 REFERENCES
Conditions for Interoperability
TLDR
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. Expand
The Relational Model for Database Management, Version 2
TLDR
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. Expand
Adjointness in Foundations
TLDR
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. Expand
On the Unusual Effectiveness of Logic in Computer Science
TLDR
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”. Expand
Databases, types and the relational model : the third manifesto
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 ManifestoExpand
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
...
1
2
3
...