Logic File System
From Wikipedia, the free encyclopedia
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 syntax commonly used in modern search engines.
An implementation of the Logic File System is available at the LFS website [1].
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.
[edit] References
- Ferré, Sébastian and Ridoux, Olivier (2000). "A File System Based on Concept Analysis."
- Padioleau, Yoann and Ridoux, Olivier (2003). "A Logic File System."
[edit] External links
- The Logical Information Systems homepage.