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
Any kind of logic, function, expression, or theory based on the work of George Boole is considered Boolean.
Related to this, "Boolean" may refer to:
* Boolean data type, a form of data with only two possible values (usually "true" and "false" ...
syntax commonly used in modern
search engine
A search engine is a software system designed to carry out web searches. They search the World Wide Web in a systematic way for particular information specified in a textual web search query. The search results are generally presented in a ...
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.
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 ( , formerly Objective Caml) is a general-purpose programming language, general-purpose, multi-paradigm programming language which extends the Caml dialect of ML (programming language), ML with object-oriented programming, object-oriented ...
modules.
References
;Notes
* Ferré, Sébastian and Ridoux, Olivier (2000).
A File System Based on Concept Analysis"
* Padioleau, Yoann and Ridoux, Olivier (2003).
"
* Padioleau, Yoann and Ridoux, Olivier (2005).
"
External links
*
LFS new homepage
Computer file systems
Semantic file systems
{{operating-system-stub