Logic File System: Difference between revisions

Revision as of 07:50, 18 March 2006

Revision as of 08:02, 18 March 2006

Line 1:

The '''Logic File System''' is a research file system which replaces pathnames with expressions in [[propositional logic]]. It allows file metadata to be queried with a superset of the [[Boolean algebra|Boolean]] syntax commonly used in modern [[search engine]]s.

[[Image:Squid.jpg|left]]

An implementation of the Logic File System is available at the LFS website [http://lfs.irisa.fr].

== References ==

* Ferré, Sébastian and Ridoux, Olivier (2000). "[http://www.irisa.fr/LIS/slides/dood2000.pdf A File System Based on Concept Analysis]."

* Padioleau, Yoann and Ridoux, Olivier (2003). "[http://www.usenix.org/events/usenix03/tech/padioleau.html A Logic File System]."

== External links ==

* The Logical Information Systems [http://lfs.irisa.fr homepage].

{{compu-stub}}