{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T20:40:14Z","timestamp":1755981614380,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,22]]},"DOI":"10.1145\/3735106.3736534","type":"proceedings-article","created":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T09:44:52Z","timestamp":1750758292000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Automatically Extracting the Relational Model of an Operating System"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-7609-7062","authenticated-orcid":false,"given":"Brian","family":"Choi","sequence":"first","affiliation":[{"name":"Yale University, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1223-2637","authenticated-orcid":false,"given":"George","family":"Neville-Neil","sequence":"additional","affiliation":[{"name":"Yale University, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-4229-6837","authenticated-orcid":false,"given":"Alex","family":"Yuan","sequence":"additional","affiliation":[{"name":"Yale University, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-5030-5922","authenticated-orcid":false,"given":"Avi","family":"Silberschatz","sequence":"additional","affiliation":[{"name":"Yale University, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6672-240X","authenticated-orcid":false,"given":"Peter","family":"Alvaro","sequence":"additional","affiliation":[{"name":"UCSC, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2825-6660","authenticated-orcid":false,"given":"Robert","family":"Soul\u00e9","sequence":"additional","affiliation":[{"name":"Yale University, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,6,24]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Felix Naumann. DFD: Efficient Functional Dependency Discovery. In ACM International Conference on Information and Knowledge Management","author":"Abedjan Ziawasch","year":"2014","unstructured":"Ziawasch Abedjan, Patrick Schulze, and Felix Naumann. DFD: Efficient Functional Dependency Discovery. In ACM International Conference on Information and Knowledge Management, November 2014."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.1989.47271"},{"key":"e_1_3_2_1_3_1","volume-title":"June","author":"Codd F.","year":"1970","unstructured":"Edgar. F. Codd. A Relational Model of Data for Large Shared Data Banks. Communications of the ACM, 13(6), June 1970."},{"issue":"3","key":"e_1_3_2_1_4_1","first-page":"139","article-title":"Database Dependency Discovery","volume":"12","author":"Flach Peter A.","year":"1999","unstructured":"Peter A. Flach and Iztok Savnik. Database Dependency Discovery: A Machine Learning Approach. AI Communications, 12(3):139--160, August 1999.","journal-title":"A Machine Learning Approach. AI Communications"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/647433.723863"},{"key":"e_1_3_2_1_6_1","volume-title":"September","author":"Joseph","year":"2020","unstructured":"Joseph M. Hellerstein and Peter Alvaro. Keeping CALM: When Distributed Consistency Is Easy. Communications of the ACM, 63(9), September 2020."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/42.2.100"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065167.1065169"},{"key":"e_1_3_2_1_9_1","volume-title":"November","author":"Loo Boon Thau","year":"2009","unstructured":"Boon Thau Loo, Tyson Condie, Minos Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, and Ion Stoica. Declarative Networking. Communications of the ACM, 52(11), November 2009."},{"key":"e_1_3_2_1_10_1","volume-title":"Lotfi Lakhal. Efficient Discovery of Functional Dependencies and Armstrong Relations. In International Conference on Extending Database Technology","author":"Lopes St\u00e9phane","year":"2000","unstructured":"St\u00e9phane Lopes, Jean-Marc Petit, and Lotfi Lakhal. Efficient Discovery of Functional Dependencies and Armstrong Relations. In International Conference on Extending Database Technology, January 2000."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/320107.320115"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1924421.1924436"},{"key":"e_1_3_2_1_13_1","volume-title":"Novelli and Rosine Cicchetti. FUN: An Efficient Algorithm for Mining Functional and Embedded Dependencies. In Proceedings of the 8th International Conference on Database Theory","author":"Noel","year":"2001","unstructured":"Noel Novelli and Rosine Cicchetti. FUN: An Efficient Algorithm for Mining Functional and Embedded Dependencies. In Proceedings of the 8th International Conference on Database Theory, January 2001."},{"volume-title":"https:\/\/osquery.io [Accessed","year":"2024","key":"e_1_3_2_1_14_1","unstructured":"osquery. Online. https:\/\/osquery.io [Accessed July 2024]."},{"key":"e_1_3_2_1_15_1","volume-title":"June","author":"Papenbrock Thorsten","year":"2015","unstructured":"Thorsten Papenbrock, Jens Ehrlich, Jannik Marten, Tommy Neubert, Jan-Peer Rudolph, Martin Sch\u00f6nberg, Jakob Zwiener, and Felix Naumann. Functional Dependency Discovery: An Experimental Evaluation of Seven Algorithms. Very Large Databases Endowment, 8(10), June 2015."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2915203"},{"issue":"1","key":"e_1_3_2_1_17_1","first-page":"21","article-title":"A DBMS-Oriented Operating System","volume":"15","author":"Skiadopoulos Athinagoras","year":"2021","unstructured":"Athinagoras Skiadopoulos, Qian Li, Peter Kraft, Kostis Kaffes, Daniel Hong, Shana Mathew, David Bestor, Michael Cafarella, Vijay Gadepally, Goetz Graefe, Jeremy Kepner, Christos Kozyrakis, Tim Kraska, Michael Stonebraker, Lalith Suresh, and Matei Zaharia. DBOS: A DBMS-Oriented Operating System. Very Large Databases Endowment, 15(1):21--30, September 2021.","journal-title":"Very Large Databases Endowment"},{"key":"e_1_3_2_1_18_1","volume-title":"July","author":"Soul\u00e9 Robert","year":"2024","unstructured":"Robert Soul\u00e9, Peter Alvaro, Henry F. Korth, and Abraham Silberschatz. Research pearl: The ROSI operating system interface. CoRR, abs\/2409.14241, July 2024."},{"key":"e_1_3_2_1_19_1","volume-title":"The Biennial Conference on Innovative Data Systems Research","author":"Soul\u00e9 Robert","year":"2025","unstructured":"Robert Soul\u00e9, George Neville-Neil, Stelios Kasouridis, Alex Yuan, Avi Silberschatz, and Alvaro Peter. OSDB: Exposing the Operating System's Inner Database. In The Biennial Conference on Innovative Data Systems Research, January 2025."},{"key":"e_1_3_2_1_20_1","volume-title":"July","author":"Stonebraker Michael","year":"1981","unstructured":"Michael Stonebraker. Operating System Support for Database Management. Communications of the ACM, 24(7), July 1981."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44801-2_11"},{"key":"e_1_3_2_1_22_1","volume-title":"IEEE International Conference on Data Mining","author":"Yao Hong","year":"2002","unstructured":"Hong Yao, H.J. Hamilton, and C.J. Butz. FD_Mine: Discovering Functional Dependencies In A Database Using Equivalences. In IEEE International Conference on Data Mining, December 2002."},{"key":"e_1_3_2_1_23_1","volume-title":"April","author":"Yao Hong","year":"2008","unstructured":"Hong Yao and Howard J. Hamilton. Mining Functional Dependencies From Data. Data Mining and Knowledge Discovery, 16(2), April 2008."}],"event":{"name":"SIGMOD\/PODS '25: International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"],"location":"Berlin Germany","acronym":"SIGMOD\/PODS '25"},"container-title":["Proceedings of the 19th International Symposium on Database Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3735106.3736534","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T20:27:29Z","timestamp":1755980849000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3735106.3736534"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":23,"alternative-id":["10.1145\/3735106.3736534","10.1145\/3735106"],"URL":"https:\/\/doi.org\/10.1145\/3735106.3736534","relation":{},"subject":[],"published":{"date-parts":[[2025,6,22]]},"assertion":[{"value":"2025-06-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}