Content deleted Content added
m changed anything that said LFS to LISFS to prevent confusion with the log-structured FS by Rosenblum and Ousterhout |
m fixed a typo |
||
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 [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 modules.
| |||