@article(AKO09, author = {Lyublena Antova and Christoph Koch and Dan Olteanu}, year = {2009}, title = {10\relax${}^{\unhbox\voidb@x \hbox{(10\relax${}^{\unhbox\voidb@x \hbox{6}}\relax\GenericError { }{LaTeX Error: Bad math environment delimiter}{See the LaTeX manual or LaTeX Companion for explanation.}{Your command was ignored.\MessageBreak Type I to replace it with another command,\MessageBreak or to continue without it.})}}\relax\GenericError { }{LaTeX Error: Bad math environment delimiter}{See the LaTeX manual or LaTeX Companion for explanation.}{Your command was ignored.\MessageBreak Type I to replace it with another command,\MessageBreak or to continue without it.} worlds and beyond: efficient representation and processing of incomplete information}, journal = {{VLDB} J.}, volume = {18}, number = {5}, pages = {1021--1040}, doi = {10.1007/s00778-009-0149-y}, ) @book(Birkhoff, author = {Garrett Birkhoff}, year = {1967}, title = {Lattice Theory}, edition = {3rd}, publisher = {American Mathematical Society}, address = {Providence}, ) @book(DaveyPriestley, author = {Brian A. Davey and Hilary A. Priestley}, year = {2002}, title = {Introduction to Lattices and Order}, series = {Cambridge mathematical text books}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9780511809088}, ) @article(Gra-Vaa-13-Stud-Log, author = {Erich Gr{\"{a}}del and Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen}, year = {2013}, title = {Dependence and Independence}, journal = {Studia Logica}, volume = {101}, number = {2}, pages = {399--410}, doi = {10.1007/s11225-013-9479-2}, ) @inproceedings(Gunnemann, author = {Stephan G\"{u}nnemann and Emmanuel M\"{u}ller and Ines F\"{a}rber and Thomas Seidl}, year = {2009}, title = {Detection of Orthogonal Concepts in Subspaces of High Dimensional Data}, booktitle = {Proceedings of the 18th ACM Conference on Information and Knowledge Management}, series = {CIKM '09}, publisher = {ACM}, address = {New York, NY, USA}, pages = {1317--1326}, doi = {10.1145/1645953.1646120}, ) @inproceedings(GurOstSchae11ISoLA, author = {Dilian Gurov and {\O}stvold, Bjarte M. and Ina Schaefer}, year = {2011}, title = {A Hierarchical Variability Model for Software Product Lines}, booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation - International Workshops, {SARS} 2011 and {MLSC} 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers}, pages = {181--199}, doi = {10.1007/978-3-642-34781-8\_15}, ) @article(LNS, author = {Jean{-}Louis Lassez and V. L. Nguyen and Liz Sonenberg}, year = {1982}, title = {Fixed Point Theorems and Semantics: {A} Folk Tale}, journal = {Information Processing Letters}, volume = {14}, number = {3}, pages = {112--116}, doi = {10.1016/0020-0190(82)90065-5}, ) @inproceedings(Lin, author = {Yu-Ru Lin and Jimeng Sun and Paul Castro and Ravi Konuru and Hari Sundaram and Aisling Kelliher}, year = {2009}, title = {MetaFac: Community Discovery via Relational Hypergraph Factorization}, booktitle = {Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining}, series = {KDD '09}, publisher = {ACM}, address = {New York, NY, USA}, pages = {527--536}, doi = {10.1145/1557019.1557080}, ) @book(Maier, author = {David Maier}, year = {1983}, title = {The Theory of Relational Databases}, publisher = {Computer Science Press}, note = {Accessible online at \url{http://web.cecs.pdx.edu/~maier/TheoryBook/TRD.html}.}, ) @article(AKO, author = {Dan Olteanu and Christoph Koch and Lyublena Antova}, year = {2008}, title = {World-set decompositions: Expressiveness and efficient algorithms}, journal = {Theoretical Computer Science}, volume = {403}, number = {2-3}, pages = {265--284}, doi = {10.1016/j.tcs.2008.05.004}, ) @article(OZ, author = {Dan Olteanu and Jakub Z{\'{a}}vodn{\'{y}}}, year = {2015}, title = {Size Bounds for Factorised Representations of Query Results}, journal = {{ACM} Trans. Database Syst.}, volume = {40}, number = {1}, pages = {2}, doi = {10.1145/2656335}, ) @book(Pohl, author = {Klaus Pohl and G{\"{u}}nter B{\"{o}}ckle and Frank van der Linden}, year = {2005}, title = {Software Product Line Engineering - Foundations, Principles, and Techniques}, publisher = {Springer}, doi = {10.1007/3-540-28901-1}, ) @article(Rendle, author = {Steffen Rendle}, year = {2013}, title = {Scaling Factorization Machines to Relational Data}, journal = {{PVLDB}}, volume = {6}, number = {5}, pages = {337--348}, url = {http://www.vldb.org/pvldb/vol6/p337-rendle.pdf}, ) @book(Roman, author = {S. Roman}, year = {2008}, title = {Lattices and Ordered Sets}, publisher = {Springer}, url = {https://books.google.com/books?id=NZN8aum26LgC}, ) @inproceedings(SchGurSol11FMCO, author = {Ina Schaefer and Dilian Gurov and Siavash Soleimanifard}, year = {2010}, title = {Compositional Algorithmic Verification of Software Product Lines}, booktitle = {Formal Methods for Components and Objects - 9th International Symposium, {FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers}, pages = {184--203}, doi = {10.1007/978-3-642-25271-6\_10}, ) @article(Tarski, author = {Alfred Tarski}, year = {1955}, title = {A Lattice-Theoretical Fixpoint Theorem and Its Applications}, journal = {Pacific journal of Mathematics}, volume = {5}, number = {2}, pages = {285--309}, doi = {10.2140/pjm.1955.5.285}, ) @inproceedings(WHH, author = {Bruce W. Weide and Wayne D. Heym and Joseph E. Hollingsworth}, year = {1995}, title = {Reverse Engineering of Legacy Code Exposed}, booktitle = {Proceedings of the 17th International Conference on Software Engineering}, series = {ICSE '95}, publisher = {ACM}, address = {New York, NY, USA}, pages = {327--331}, doi = {10.1145/225014.225045}, )