Logic File System: Difference between revisions

Revision as of 18:42, 18 April 2007

Latest revision as of 06:59, 22 August 2022

(23 intermediate revisions by 17 users not shown)

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>{{cite web|url=http://lfs.irisa.fr |title=The Logical Information Systems web page |accessdate=March 13, 2006 |url-status=dead |archiveurl=https://web.archive.org/web/20060510035848/http://lfs.irisa.fr/ |archivedate=May 10, 2006 }}</ref>

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

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

* Padioleau, Yoann and Ridoux, Olivier (2005). "[http://www.usenix.org/events/usenix05/tech/general/padioleau.html A Parts of File File System]."

== External links ==

* {{webarchive |url=https://web.archive.org/web/20090430140852/http://lfs.irisa.fr/ |date=April 30, 2009 |title=The Logical Information Systems }}

* [https://web.archive.org/web/20110823233241/http://padator.org/wiki/wiki-LFS/doku.php LFS new homepage]

[[Category:Computer file systems]]

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

[[Category:Semantic file systems]]

{{compu-stub}}

{{operating-system-stub}}

[[Category:Computer file systems]]