HOME

TheInfoList



OR:

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