HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Introduction to Logical Information Systems

Sébastien Ferré 1 Olivier Ridoux 1
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Logical Information Systems (LIS) use logic in a uniform way to describe their contents, to query it, to navigate through it, to analyze it, and to maintain it. They can be given an abstract specification that does not depend on the choice of a particular logic, and concrete instances can be obtained by instantiating this specification with a particular logic. In fact, a logic plays in a LIS the role of a schema in data-bases. We present the principles of logical information systems, the constraints they impose on the expression of logics, and hints for their effective implementation.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00072048
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 7:38:34 PM
Last modification on : Friday, February 4, 2022 - 3:22:08 AM
Long-term archiving on: : Sunday, April 4, 2010 - 8:34:34 PM

Identifiers

  • HAL Id : inria-00072048, version 1

Citation

Sébastien Ferré, Olivier Ridoux. Introduction to Logical Information Systems. [Research Report] RR-4540, INRIA. 2002. ⟨inria-00072048⟩

Share

Metrics

Record views

70

Files downloads

469