Logic File System

This is an old revision of this page, as edited by Floatingninja (talk | contribs) at 08:30, 21 February 2008 (changed anything that said LFS to LISFS to prevent confusion with the log-structured FS by Rosenblum and Ousterhout). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.

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

References

  • The Logical Information Systems homepage.