Logic File System: Difference between revisions

Revision as of 04:09, 10 May 2016

Revision as of 04:10, 10 May 2016

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 (logic)|Boolean]] syntax commonly used in modern [[search engine]]s.

The actual name is the '''Logic Information Systems File System''', and is abbreviated '''LISFS''' to avoid confusion with the [[log-structured file system]] (LFS). An implementation of the Logic File System is available at the LISFS website [<ref>http://lfs.irisa.fr] {{404}}</ref>.

It is intended to be used on Unix-like operating systems and is a bit difficult to install, as it needs several non-standard [[OCaml]] modules.

== References ==

{{reflist}}

;Notes

* 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]."