http://debianws.lexgopc.com/wiki143/index.php?action=history&feed=atom&title=Logic_File_System 2026-05-07T23:23:14Z Revision history for this page on the wiki MediaWiki 1.43.1 http://debianws.lexgopc.com/wiki143/index.php?title=Logic_File_System&diff=1196913&oldid=prev 2022-08-22T06:59:52Z

<p>Alter: title. | <a href="/wiki143/index.php?title=WP:UCB&amp;action=edit&amp;redlink=1" class="new" title="WP:UCB (page does not exist)">Use this bot</a>. <a href="/wiki143/index.php?title=WP:DBUG&amp;action=edit&amp;redlink=1" class="new" title="WP:DBUG (page does not exist)">Report bugs</a>. | Suggested by BrownHairedGirl | #UCB_webform 1600/3832</p> <p><b>New page</b></p><div>The &#039;&#039;&#039;Logic File System&#039;&#039;&#039; 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.<br /> <br /> The actual name is the &#039;&#039;&#039;Logic Information Systems File System&#039;&#039;&#039;, and is abbreviated &#039;&#039;&#039;LISFS&#039;&#039;&#039; to avoid confusion with the [[log-structured file system]] (LFS). An implementation of the Logic File System is available at the LISFS website.&lt;ref&gt;{{cite web|url=http://lfs.irisa.fr |title=The Logical Information Systems web page |accessdate=March 13, 2006 |url-status=dead |archiveurl=https://web.archive.org/web/20060510035848/http://lfs.irisa.fr/ |archivedate=May 10, 2006 }}&lt;/ref&gt;<br /> <br /> 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.<br /> <br /> == References ==<br /> {{reflist}}<br /> ;Notes<br /> * Ferré, Sébastian and Ridoux, Olivier (2000). &quot;[http://www.irisa.fr/LIS/slides/dood2000.pdf A File System Based on Concept Analysis].&quot;<br /> * Padioleau, Yoann and Ridoux, Olivier (2003). &quot;[http://www.usenix.org/events/usenix03/tech/padioleau.html A Logic File System].&quot;<br /> * Padioleau, Yoann and Ridoux, Olivier (2005). &quot;[http://www.usenix.org/events/usenix05/tech/general/padioleau.html A Parts of File File System].&quot;<br /> <br /> == External links ==<br /> * {{webarchive |url=https://web.archive.org/web/20090430140852/http://lfs.irisa.fr/ |date=April 30, 2009 |title=The Logical Information Systems }}<br /> * [https://web.archive.org/web/20110823233241/http://padator.org/wiki/wiki-LFS/doku.php LFS new homepage]<br /> <br /> [[Category:Computer file systems]]<br /> [[Category:Semantic file systems]]<br /> <br /> <br /> {{operating-system-stub}}</div>

imported>Citation bot