Logic File System

Logic File System

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

References

* Ferré, Sébastian and Ridoux, Olivier (2000). " [http://www.irisa.fr/LIS/slides/dood2000.pdf A File System Based on Concept Analysis] ."

* Padioleau, Yoann and Ridoux, Olivier (2003). " [http://www.usenix.org/events/usenix03/tech/padioleau.html A Logic File System] ."

* Padioleau, Yoann and Ridoux, Olivier (2005). " [http://www.usenix.org/events/usenix05/tech/general/padioleau.html A Parts of File File System] ."

External links

* The Logical Information Systems [http://lfs.irisa.fr homepage] .

* The Logic File System [http://aryx.kicks-ass.org/~pad/wiki/wiki-LFS/ wiki]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Semantic File System — Semantic File Systems are file systems used for information persistence which structure the data according to their semantics and intent, rather the location as with current file systems. It allows the data to be addressed by their content… …   Wikipedia

  • File system — For library and office filing systems, see Library classification. Further information: Filing cabinet A file system (or filesystem) is a means to organize data expected to be retained after a program terminates by providing procedures to store,… …   Wikipedia

  • Veritas File System — For other uses, see Veritas (disambiguation). VERITAS File System Full name VERITAS File System Introduced 1991 Structures Directory contents extensible hash Limits Max file size 8 EB ( …   Wikipedia

  • File area network — File Area Networking refers to various methods of sharing files over a network such as storage devices connected to a file server or network attached storage (NAS). Background Data storage technology over the years has evolved from a direct… …   Wikipedia

  • File Transfer Protocol — (FTP) is a network protocol used to transfer data from one computer to another through a network such as the Internet.FTP is a file transfer protocol for exchanging and manipulating files over a TCP computer network. A FTP client may connect to a …   Wikipedia

  • System Monitoring — A System Monitor (SM) in systems engineering is a process within a distributed system for collecting and storing state data. Overview The configuration for the system monitor takes two forms: # configuration data for the application itself, and # …   Wikipedia

  • logic bomb —    A sabotage attack on a system timed to go off at some time in the future; essentially a Trojan Horse with a fuse.    A logic bomb goes off at a certain time or when triggered by a certain event and then performs some operation. It might… …   Dictionary of networking

  • System on a chip — The AMD Geode is an x86 compatible system on a chip A system on a chip or system on chip (SoC or SOC) is an integrated circuit (IC) that integrates all components of a computer or other electronic system into a single chip. It may contain digital …   Wikipedia

  • Distributed operating system — A distributed operating system is the logical aggregation of operating system software over a collection of independent, networked, communicating, and spatially disseminated computational nodes.[1] Individual system nodes each hold a discrete… …   Wikipedia

  • Comparison of file managers — The following tables compare general and technical information for a number of notable file managers. Contents 1 General information 2 Operating system support 2.1 Cross platform file managers 2.2 …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”