Abstract
No abstract available.
Cited By
- Shah V, Parashos T and Kumar A (2024). How Do Categorical Duplicates Affect ML? A New Benchmark and Empirical Analyses, Proceedings of the VLDB Endowment, 17:6, (1391-1404), Online publication date: 1-Feb-2024.
- Zykin S (2023). Testing Dependencies and Inference Rules in Databases, Automatic Control and Computer Sciences, 57:7, (788-802), Online publication date: 1-Dec-2023.
- Willkomm J, Raster M, Schäler M and Böhm K (2023). CH-Bench: a user-oriented benchmark for systems for efficient distant reading (design, performance, and insights), International Journal on Digital Libraries, 24:4, (243-261), Online publication date: 1-Dec-2023.
- Wei Z and Link S (2023). Towards the efficient discovery of meaningful functional dependencies, Information Systems, 116:C, Online publication date: 1-Jun-2023.
- Tang X, Wu S, Zhang D, Li F and Chen G (2023). Detecting Logic Bugs of Join Optimizations in DBMS, Proceedings of the ACM on Management of Data, 1:1, (1-26), Online publication date: 26-May-2023.
- Zhang L, Howard S, Montpool T, Moore J, Mahajan K and Miranskyy A (2023). Automated data validation, Journal of Systems and Software, 197:C, Online publication date: 1-Mar-2023.
- Takhanov R (2023). The algebraic structure of the densification and the sparsification tasks for CSPs, Constraints, 28:1, (13-44), Online publication date: 1-Mar-2023.
- Khatiwada A, Shraga R, Gatterbauer W and Miller R (2022). Integrating Data Lake Tables, Proceedings of the VLDB Endowment, 16:4, (932-945), Online publication date: 1-Dec-2022.
- Zuenko A (2022). A Machine Learning Method to Reveal Closed Sets of Common Features of Objects Using Constraint Programming, Automation and Remote Control, 83:12, (1995-2005), Online publication date: 1-Dec-2022.
- Janczewski R, Obszarski P and Turowski K (2022). Weighted 2-sections and hypergraph reconstruction, Theoretical Computer Science, 915:C, (11-25), Online publication date: 14-May-2022.
- Bläsius T, Friedrich T and Schirneck M (2021). The complexity of dependency detection and discovery in relational databases, Theoretical Computer Science, 900:C, (79-96), Online publication date: 8-Jan-2022.
- Zykin S (2021). Generalization of Derivation Rules for Join Dependencies in Database, Automatic Control and Computer Sciences, 55:7, (731-737), Online publication date: 1-Dec-2021.
- Wei Z and Link S (2021). Embedded Functional Dependencies and Data-completeness Tailored Database Design, ACM Transactions on Database Systems, 46:2, (1-46), Online publication date: 30-Jun-2021.
- Janostik R, Konecny J and Krajča P Pruning Techniques in LinCbO for Computation of the Duquenne-Guigues Basis Formal Concept Analysis, (91-106)
- Link S and Wei Z Logical Schema Design that Quantifies Update Inefficiency and Join Efficiency Proceedings of the 2021 International Conference on Management of Data, (1169-1181)
- Schuler R and Kesselman C (2021). CHiSEL: a user-oriented framework for simplifing database evolution, Distributed and Parallel Databases, 39:2, (483-543), Online publication date: 1-Jun-2021.
- Pomortsev L and Tsurkov V (2020). Synthesis-Analysis of Derivation Sequences of Tables’ Functional Dependences, Journal of Computer and Systems Sciences International, 59:6, (957-980), Online publication date: 1-Nov-2020.
- Zuenko A Representation and Processing of Qualitative Constraints Using a New Type of Smart Tables Proceedings of the 4th International Conference on Computer Science and Application Engineering, (1-7)
- Fernández M, Pinaud B and Varga J A Port Graph Rewriting Approach to Relational Database Modelling Logic-Based Program Synthesis and Transformation, (211-227)
- Schuler R and Kessleman C A High-level User-oriented Framework for Database Evolution Proceedings of the 31st International Conference on Scientific and Statistical Database Management, (157-168)
- Beniaminov E (2019). The Algebra of Hidden Relations as a Means of Modeling Statistical Databases, Automatic Documentation and Mathematical Linguistics, 53:4, (161-166), Online publication date: 1-Jul-2019.
- Wei Z and Link S (2019). Embedded functional dependencies and data-completeness tailored database design, Proceedings of the VLDB Endowment, 12:11, (1458-1470), Online publication date: 1-Jul-2019.
- Baixeries J A Formal Context for Closures of Acyclic Hypergraphs Formal Concept Analysis, (259-273)
- Pomortsev L and Tsurkov V (2019). Algebraization of Inferring Functional Dependences in Relational Databases, Journal of Computer and Systems Sciences International, 58:2, (212-228), Online publication date: 1-Mar-2019.
- Benito-Picazo F, Cordero P, Enciso M and Mora A (2019). Minimal generators, an affordable approach by means of massive computation, The Journal of Supercomputing, 75:3, (1350-1367), Online publication date: 1-Mar-2019.
- Deguchi M, Doi Y and Toyama M SQL-based Email Composition and Query Synthesis in RMX Proceedings of the 20th International Conference on Information Integration and Web-based Applications & Services, (207-215)
- Zhu J, Wang W and Zhao D A Tempt to Unify Heterogeneous Driving Databases using Traffic Primitives 2018 21st International Conference on Intelligent Transportation Systems (ITSC), (2052-2057)
- Gao W, Zhan J, Wang L, Luo C, Zheng D, Tang F, Xie B, Zheng C, Wen X, He X, Ye H and Ren R Data motifs Proceedings of the 27th International Conference on Parallel Architectures and Compilation Techniques, (1-14)
- Belohlavek R and Konecny J (2018). A calculus for containment of fuzzy attributes, Soft Computing - A Fusion of Foundations, Methodologies and Applications, 22:19, (6299-6310), Online publication date: 1-Oct-2018.
- Cerda P, Varoquaux G and Kégl B (2018). Similarity encoding for learning with dirty categorical variables, Machine Language, 107:8-10, (1477-1494), Online publication date: 1-Sep-2018.
- Willkomm J, Schmidt-Petri C, Schäler M, Schefczyk M and Böhm K A Query Algebra for Temporal Text Corpora Proceedings of the 18th ACM/IEEE on Joint Conference on Digital Libraries, (183-192)
- Ngo H, Porat E, Ré C and Rudra A (2018). Worst-case Optimal Join Algorithms, Journal of the ACM, 65:3, (1-40), Online publication date: 27-Mar-2018.
- Rodríguez‐Lorenzo E, Cordero P, Enciso M, Missaoui R and Mora Á (2017). An Axiomatic System for Conditional Attribute Implications in Triadic Concept Analysis, International Journal of Intelligent Systems, 32:8, (760-777), Online publication date: 7-Jun-2017.
- Eiter T, Parreira J and Schneider P Spatial Ontology-Mediated Query Answering over Mobility Streams The Semantic Web, (219-237)
- Triska J and Vychodil V (2017). Logic of temporal attribute implications, Annals of Mathematics and Artificial Intelligence, 79:4, (307-335), Online publication date: 1-Apr-2017.
- Vychodil V (2017). Invariance to ordinal transformations in rank-aware databases, Information Sciences: an International Journal, 378:C, (75-98), Online publication date: 1-Feb-2017.
- Sloan R, Stasi D and Turán G (2017). Hydras, Theoretical Computer Science, 658:PB, (417-428), Online publication date: 7-Jan-2017.
- Wild M (2017). The joy of implications, aka pure Horn formulas, Theoretical Computer Science, 658:PB, (264-292), Online publication date: 7-Jan-2017.
- Rudolph S (2017). Succinctness and tractability of closure operator representations, Theoretical Computer Science, 658:PB, (327-345), Online publication date: 7-Jan-2017.
- Benito-Picazo F, Cordero P, Enciso M and Mora A (2017). Reducing the search space by closure and simplification paradigms, The Journal of Supercomputing, 73:1, (75-87), Online publication date: 1-Jan-2017.
- Khamis M, Ngo H, Ré C and Rudra A (2016). Joins via Geometric Resolutions, ACM Transactions on Database Systems, 41:4, (1-45), Online publication date: 23-Dec-2016.
- Maabout S, Ordonez C, Wanko P and Hanusse N (2016). Skycube Materialization Using the Topmost Skyline or Functional Dependencies, ACM Transactions on Database Systems, 41:4, (1-40), Online publication date: 23-Dec-2016.
- Hu X, Qiao M and Tao Y (2016). I/O-efficient join dependency testing, Loomis-Whitney join, and triangle enumeration, Journal of Computer and System Sciences, 82:8, (1300-1315), Online publication date: 1-Dec-2016.
- Cunha J, Paulo Fernandes J, Martins P, Mendes J, Pereira R and Saraiva J (2016). Evaluating refactorings for spreadsheet models, Journal of Systems and Software, 118:C, (234-250), Online publication date: 1-Aug-2016.
- Vychodil V (2016). Parameterizing the Semantics of Fuzzy Attribute Implications by Systems of Isotone Galois Connections, IEEE Transactions on Fuzzy Systems, 24:3, (645-660), Online publication date: 1-Jun-2016.
- Ullmann J (2015). Degree Reduction in Labeled Graph Retrieval, ACM Journal of Experimental Algorithmics, 20, (1-54), Online publication date: 15-Dec-2015.
- Mcminn P, Wright C and Kapfhammer G (2015). The Effectiveness of Test Coverage Criteria for Relational Database Schema Integrity Constraints, ACM Transactions on Software Engineering and Methodology, 25:1, (1-49), Online publication date: 2-Dec-2015.
- Belohlavek R and Vychodil V (2015). A logic of graded attributes, Archive for Mathematical Logic, 54:7-8, (785-802), Online publication date: 1-Nov-2015.
- Le V, Link S and Ferrarotti F (2015). Empirical evidence for the usefulness of Armstrong tables in the acquisition of semantically meaningful SQL constraints, Data & Knowledge Engineering, 98:C, (74-103), Online publication date: 1-Jul-2015.
- Abo Khamis M, Ngo H, Ré C and Rudra A Joins via Geometric Resolutions Proceedings of the 34th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, (213-228)
- Hu X, Qiao M and Tao Y Join Dependency Testing, Loomis-Whitney Join, and Triangle Enumeration Proceedings of the 34th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, (291-301)
- Cunha J, Fernandes J, Mendes J and Saraiva J (2015). Embedding, Evolution, and Validation of Model-Driven Spreadsheets, IEEE Transactions on Software Engineering, 41:3, (241-263), Online publication date: 1-Mar-2015.
- Macedo H and Oliveira J (2015). A linear algebra approach to OLAP, Formal Aspects of Computing, 27:2, (283-307), Online publication date: 1-Mar-2015.
- Vychodil V (2015). On minimal sets of graded attribute implications, Information Sciences: an International Journal, 294:C, (478-488), Online publication date: 10-Feb-2015.
- Majster-Cederbaum M and Semmelrock N (2015). A basis for compositionally ensuring safety properties and its connection to relational algebraic operators, Science of Computer Programming, 98:P4, (516-530), Online publication date: 1-Feb-2015.
- Ohori A, Ueno K, Hoshi K, Nozaki S, Sato T, Makabe T and Ito Y (2014). SML# in industry, ACM SIGPLAN Notices, 49:9, (167-173), Online publication date: 26-Nov-2014.
- Ohori A, Ueno K, Hoshi K, Nozaki S, Sato T, Makabe T and Ito Y SML# in industry Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, (167-173)
- Urbanova L and Vychodil V (2014). Derivation digraphs for dependencies in ordinal and similarity-based data, Information Sciences: an International Journal, 268, (381-396), Online publication date: 1-Jun-2014.
- Krajca P and Vychodil V Query Optimization Strategies in Similarity-Based Databases Proceedings of the 10th International Conference on Modeling Decisions for Artificial Intelligence - Volume 8234, (179-191)
- Poelmans J, Kuznetsov S, Ignatov D and Dedene G (2013). Review, Expert Systems with Applications: An International Journal, 40:16, (6601-6623), Online publication date: 1-Nov-2013.
- Belohlavek R and Vychodil V (2013). Closure-based constraints in formal concept analysis, Discrete Applied Mathematics, 161:13-14, (1894-1911), Online publication date: 1-Sep-2013.
- Waseem A, Hussain S and Shaikh Z An extended synthesis algorithm for relational database schema design Proceedings of the 2013 International Conference on Information Systems and Design of Communication, (94-100)
- Konstantinidis G and Ambite J Scalable containment for unions of conjunctive queries under constraints Proceedings of the Fifth Workshop on Semantic Web Information Management, (1-8)
- Kung H and Kung L (2013). An interactive tool to improve learning of data modeling, Journal of Computing Sciences in Colleges, 28:4, (11-18), Online publication date: 1-Apr-2013.
- Babin M and Kuznetsov S (2013). Computing premises of a minimal cover of functional dependencies is intractable, Discrete Applied Mathematics, 161:6, (742-749), Online publication date: 1-Apr-2013.
- Missaoui R, Nourine L and Renaud Y (2012). Computing Implications with Negation from a Formal Context, Fundamenta Informaticae, 115:4, (357-375), Online publication date: 1-Dec-2012.
- Belohlavek R, Cordero P, Enciso M, Mora A and Vychodil V An efficient reasoning method for dependencies over similarity and ordinal data Proceedings of the 9th international conference on Modeling Decisions for Artificial Intelligence, (408-419)
- Urbanova L, Vychodil V and Wiese L Applications of ordinal ranks to flexible query answering Proceedings of the 6th international conference on Scalable Uncertainty Management, (16-29)
- Hamrouni T (2012). Key roles of closed sets and minimal generators in concise representations of frequent patterns, Intelligent Data Analysis, 16:4, (581-631), Online publication date: 1-Jul-2012.
- Sloan R, Stasi D and Turán G Hydras Proceedings of the 38th international conference on Graph-Theoretic Concepts in Computer Science, (237-248)
- Rudolph S Some notes on managing closure operators Proceedings of the 10th international conference on Formal Concept Analysis, (278-291)
- Naidenova X Good classification tests as formal concepts Proceedings of the 10th international conference on Formal Concept Analysis, (211-226)
- Macko J Formal concept analysis as a framework for business intelligence technologies Proceedings of the 10th international conference on Formal Concept Analysis, (195-210)
- Doerfel S, Jäschke R and Stumme G Publication analysis of the formal concept analysis community Proceedings of the 10th international conference on Formal Concept Analysis, (77-95)
- Wijsen J (2012). Certain conjunctive query answering in first-order logic, ACM Transactions on Database Systems, 37:2, (1-35), Online publication date: 1-May-2012.
- Darwen H, Date C and Fagin R A normal form for preventing redundant tuples in relational databases Proceedings of the 15th International Conference on Database Theory, (114-126)
- Belohlavek R and Vychodil V Attribute implications in similarity-based databases Proceedings of the 27th Annual ACM Symposium on Applied Computing, (840-846)
- Cunha J, Fernandes J and Saraiva J From relational ClassSheets to UML+OCL Proceedings of the 27th Annual ACM Symposium on Applied Computing, (1151-1158)
- Hegner S FD covers and universal complements of simple projections Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems, (184-202)
- Link S Armstrong databases Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130, (3-22)
- Zou T, Wang G, Salles M, Bindel D, Demers A, Gehrke J and White W Making time-stepped applications tick in the cloud Proceedings of the 2nd ACM Symposium on Cloud Computing, (1-14)
- Belohlavek R, Urbanova L and Vychodil V Similarity of query results in similarity-based databases Proceedings of the 6th international conference on Rough sets and knowledge technology, (258-267)
- Liu W, Yue K and Li W (2011). Constructing the Bayesian network structure from dependencies implied in multiple relational schemas, Expert Systems with Applications: An International Journal, 38:6, (7123-7134), Online publication date: 1-Jun-2011.
- Lee T and Ye T (2011). A relational approach to functional decomposition of logic circuits, ACM Transactions on Database Systems, 36:2, (1-30), Online publication date: 1-May-2011.
- Link S (2011). On Inferences of Full First-Order Hierarchical Decompositions, Fundamenta Informaticae, 106:2-4, (233-258), Online publication date: 1-Apr-2011.
- Pema E, Kolaitis P and Tan W On the tractability and intractability of consistent conjunctive query answering Proceedings of the 2011 Joint EDBT/ICDT Ph.D. Workshop, (38-44)
- Termehchy A and Winslett M (2011). Using structural information in XML keyword search effectively, ACM Transactions on Database Systems, 36:1, (1-39), Online publication date: 1-Mar-2011.
- Kung H and Tung H (2010). A web-based tool for teaching data modeling, Journal of Computing Sciences in Colleges, 26:2, (231-237), Online publication date: 1-Dec-2010.
- Paulley G and Larson P Exploiting uniqueness in query optimization CASCON First Decade High Impact Papers, (127-145)
- Morris J and Jones M (2010). Instance chains, ACM SIGPLAN Notices, 45:9, (375-386), Online publication date: 27-Sep-2010.
- Morris J and Jones M Instance chains Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, (375-386)
- Agrawal P, Sarma A, Ullman J and Widom J (2010). Foundations of uncertain-data integration, Proceedings of the VLDB Endowment, 3:1-2, (1080-1090), Online publication date: 1-Sep-2010.
- Bhattacharya A, DasGupta B, Mubayi D and Turán G On approximate horn formula minimization Proceedings of the 37th international colloquium conference on Automata, languages and programming, (438-450)
- Wijsen J On the first-order expressibility of computing certain answers to conjunctive queries over uncertain databases Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (179-190)
- Langeveldt W and Link S (2010). Empirical evidence for the usefulness of Armstrong relations in the acquisition of meaningful functional dependencies, Information Systems, 35:3, (352-374), Online publication date: 1-May-2010.
- Lehrack S and Schmitt I QSQL Proceedings of the 15th international conference on Database Systems for Advanced Applications - Volume Part I, (429-443)
- Belohlavek R and Vychodil V Query systems in similarity-based databases Proceedings of the 2010 ACM Symposium on Applied Computing, (1648-1655)
- Schweikardt N, Schwentick T and Segoufin L Database theory Algorithms and theory of computation handbook, (19-19)
- Johnson M and Kasangian S A relational model of incomplete data without nulls Proceedings of the Sixteenth Symposium on Computing: the Australasian Theory - Volume 109, (89-94)
- Manukyan M Element algebra Proceedings of the 13th East European conference on Advances in Databases and Information Systems, (113-120)
- Fan W, Jia X, Li J and Ma S (2009). Reasoning about record matching rules, Proceedings of the VLDB Endowment, 2:1, (407-418), Online publication date: 1-Aug-2009.
- Jones M and Diatchki I (2008). Language and program design for functional dependencies, ACM SIGPLAN Notices, 44:2, (87-98), Online publication date: 28-Jan-2009.
- Cunha J, Saraiva J and Visser J From spreadsheets to relational databases and back Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, (179-188)
- Grant J (2008). Null values in SQL, ACM SIGMOD Record, 37:3, (23-25), Online publication date: 30-Sep-2008.
- Jones M and Diatchki I Language and program design for functional dependencies Proceedings of the first ACM SIGPLAN symposium on Haskell, (87-98)
- Castro L, Gulías V, Abalde C and París J (2008). Environment-independent methodology for accessing external data sources, WSEAS Transactions on Information Science and Applications, 5:9, (1-10), Online publication date: 1-Sep-2008.
- Castro L, Gulías V, Abalde C and París J Database access and patterns in Erlang/OTP Proceedings of the 8th conference on Applied informatics and communications, (73-78)
- Kohlas J and Wilson N (2008). Semiring induced valuation algebras, Artificial Intelligence, 172:11, (1360-1399), Online publication date: 1-Jul-2008.
- Fan W, Geerts F, Jia X and Kementsietsidis A (2008). Conditional functional dependencies for capturing data inconsistencies, ACM Transactions on Database Systems, 33:2, (1-48), Online publication date: 1-Jun-2008.
- Gottlob G and Nash A (2008). Efficient core computation in data exchange, Journal of the ACM, 55:2, (1-49), Online publication date: 1-May-2008.
- Belohlavek R and Vychodil V Adding background knowledge to formal concept analysis via attribute dependency formulas Proceedings of the 2008 ACM symposium on Applied computing, (938-943)
- Valtchev P and Duquenne V On the merge of factor canonical bases Proceedings of the 6th international conference on Formal concept analysis, (182-198)
- Hermann M and Sertkaya B On the complexity of computing generators of closed sets Proceedings of the 6th international conference on Formal concept analysis, (158-168)
- Völker J and Rudolph S Lexico-logical acquisition of OWL DL axioms Proceedings of the 6th international conference on Formal concept analysis, (62-77)
- Rudolph S Acquiring generalized domain-range restrictions Proceedings of the 6th international conference on Formal concept analysis, (32-45)
- Koehler H and Link S Lossless decompositions in complex-valued databases Proceedings of the 5th international conference on Foundations of information and knowledge systems, (329-347)
- Koehler H Autonomous sets Proceedings of the 5th international conference on Foundations of information and knowledge systems, (78-95)
- Grossmann G, Schrefl M and Stumptner M Exploiting semantics of inter-process dependencies to instantiate predefined integration patterns Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83, (155-160)
- Malvestuto F, Mezzini M and Moscarini M (2007). An analytical approach to the inference of summary data of additive type, Theoretical Computer Science, 385:1-3, (264-285), Online publication date: 1-Oct-2007.
- Belohlavek R, Opichal S and Vychodil V Relational algebra for ranked tables with similarities Proceedings of the 7th international conference on Intelligent data analysis, (140-151)
- Ullmann J (2007). Partition search for non-binary constraint satisfaction, Information Sciences: an International Journal, 177:18, (3639-3678), Online publication date: 1-Sep-2007.
- Kengue J, Valtchev P and Djamegni C Parallel computation of closed itemsets and implication rule bases Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications, (359-370)
- Belohlavek R and Vychodil V On Proofs and Rule of Multiplication in Fuzzy Attribute Logic Proceedings of the 12th international Fuzzy Systems Association world congress on Foundations of Fuzzy Logic and Soft Computing, (471-480)
- Obiedkov S and Duquenne V (2007). Attribute-incremental construction of the canonical implication basis, Annals of Mathematics and Artificial Intelligence, 49:1-4, (77-99), Online publication date: 1-Apr-2007.
- Mok W (2007). On utilizing variables for specifying FDs in data-centric XML documents, Data & Knowledge Engineering, 60:3, (494-510), Online publication date: 1-Mar-2007.
- Rudolph S Some notes on pseudo-closed sets Proceedings of the 5th international conference on Formal concept analysis, (151-165)
- Koehler H Domination normal form Proceedings of the thirtieth Australasian conference on Computer science - Volume 62, (79-85)
- Bidyuk B and Dechter R (2007). Cutset sampling for Bayesian networks, Journal of Artificial Intelligence Research, 28:1, (1-48), Online publication date: 1-Jan-2007.
- Golfarelli M, Lechtenbörger J, Rizzi S and Vossen G (2006). Schema versioning in data warehouses, Data & Knowledge Engineering, 59:2, (435-459), Online publication date: 1-Nov-2006.
- Belohlavek R and Vychodil V Graded LinClosure and its role in relational data analysis Proceedings of the 4th international conference on Concept lattices and their applications, (139-154)
- Belohlavek R and Vychodil V Graded LinClosure and Its Role in Relational Data Analysis Concept Lattices and Their Applications, (139-154)
- Silva A and Visser J Strong types for relational databases Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, (25-36)
- Ding Y, Embley D and Liddle S Automatic creation and simplified querying of semantic web content Proceedings of the First Asian conference on The Semantic Web, (400-414)
- Zabiyaka Y and Darwiche A Functional treewidth Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing, (116-129)
- Bělohlávek R and Vychodil V Formal concept analysis with constraints by closure operators Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application, (131-143)
- Brisaboa N, Fariña, A, Luaces M and Paramá J Chase of recursive queries Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics, (112-123)
- Berry A, SanJuan E and Sigayret A (2006). Generalized domination in closure systems, Discrete Applied Mathematics, 154:7, (1064-1084), Online publication date: 1-May-2006.
- Bělohlávek R and Vychodil V Data tables with similarity relations Proceedings of the 11th international conference on Database Systems for Advanced Applications, (644-658)
- Bělohlávek R and Vychodil V Attribute implications in a fuzzy setting Proceedings of the 4th international conference on Formal Concept Analysis, (45-60)
- Gély A and Nourine L About the family of closure systems preserving non-unit implications in the guigues-duquenne base Proceedings of the 4th international conference on Formal Concept Analysis, (191-204)
- Medina R, Nourine L and Raynaud O Interactive association rules discovery Proceedings of the 4th international conference on Formal Concept Analysis, (177-190)
- Beldiceanu N, Carlsson M, Debruyne R and Petit T (2005). Reformulation of Global Constraints Based on Constraints Checkers, Constraints, 10:4, (339-362), Online publication date: 1-Oct-2005.
- Scarcello F (2005). Query answering exploiting structural properties, ACM SIGMOD Record, 34:3, (91-99), Online publication date: 1-Sep-2005.
- Barbosa D, Freire J and Mendelzon A Designing information-preserving mapping schemes for XML Proceedings of the 31st international conference on Very large data bases, (109-120)
- Alves T, Silva P, Visser J and Oliveira J Strategic term rewriting and its application to a VDM-SL to SQL conversion Proceedings of the 2005 international conference on Formal Methods, (399-414)
- Frambourg C, Valtchev P and Godin R Merge-Based computation of minimal generators Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge, (181-194)
- Gottlob G, Greco G and Scarcello F (2005). Pure Nash equilibria, Journal of Artificial Intelligence Research, 24:1, (357-406), Online publication date: 1-Jul-2005.
- Gottlob G, Grohe M, Musliu n, Samer M and Scarcello F Hypertree decompositions Proceedings of the 31st international conference on Graph-Theoretic Concepts in Computer Science, (1-15)
- Wang J Database design with equality-generating dependencies Proceedings of the 10th international conference on Database Systems for Advanced Applications, (335-346)
- Nehmé K, Valtchev P, Rouane M and Godin R On computing the minimal generator family for concept lattices and icebergs Proceedings of the Third international conference on Formal Concept Analysis, (192-207)
- Bělohlávek R and Sklenář V Formal concept analysis constrained by attribute-dependency formulas Proceedings of the Third international conference on Formal Concept Analysis, (176-191)
- Vardi M Model checking for database theoreticians Proceedings of the 10th international conference on Database Theory, (1-16)
- Kuznetsov S Galois connections in data analysis Formal Concept Analysis, (196-225)
- Burmeister P and Holzer R Treating incomplete knowledge in formal concept analysis Formal Concept Analysis, (114-126)
- Batra D and Wishart N (2004). Comparing a rule-based approach with a pattern-based approach at different levels of complexity of conceptual data modelling tasks, International Journal of Human-Computer Studies, 61:4, (397-419), Online publication date: 1-Oct-2004.
- Scarcello F, Greco G and Leone N Weighted hypertree decompositions and optimal query plans Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (210-221)
- Gottlob G, Koch C and Schulz K Conjunctive queries over trees Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (189-200)
- Holzer R (2004). Knowledge Acquisition under Incomplete Knowledge using Methods from Formal Concept Analysis: Part II, Fundamenta Informaticae, 63:1, (41-63), Online publication date: 1-Apr-2004.
- Holzer R (2004). Knowledge Acquisition under Incomplete Knowledge using Methods from Formal Concept Analysis: Part I, Fundamenta Informaticae, 63:1, (17-39), Online publication date: 1-Apr-2004.
- Holzer R (2004). Knowledge Acquisition under Incomplete Knowledge using Methods from Formal Concept Analysis: Part II, Fundamenta Informaticae, 63:1, (41-63), Online publication date: 1-Jan-2004.
- Holzer R (2004). Knowledge Acquisition under Incomplete Knowledge using Methods from Formal Concept Analysis: Part I, Fundamenta Informaticae, 63:1, (17-39), Online publication date: 1-Jan-2004.
- Rafanelli M Operators for multidimensional aggregate data Multidimensional databases, (116-165)
- Antony S and Batra D (2002). CODASYS, ACM SIGMIS Database: the DATABASE for Advances in Information Systems, 33:3, (54-68), Online publication date: 29-Aug-2002.
- Dechter R, Kask K and Mateescu R Iterative join-graph propagation Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence, (128-136)
- Tan H, Ling T and Goh C (2002). Exploring into Programs for the Recovery of Data Dependencies Designed, IEEE Transactions on Knowledge and Data Engineering, 14:4, (825-835), Online publication date: 1-Jul-2002.
- Malvestuto F (2002). From Conditional Independences to Factorization Constraints with Discrete Random Variables, Annals of Mathematics and Artificial Intelligence, 35:1-4, (253-285), Online publication date: 21-May-2002.
- Dey D and Sarkar S (2002). Generalized Normal Forms for Probabilistic Relational Data, IEEE Transactions on Knowledge and Data Engineering, 14:3, (485-497), Online publication date: 1-May-2002.
- Mok W (2002). A Comparative Study of Various Nested Normal Forms, IEEE Transactions on Knowledge and Data Engineering, 14:2, (369-385), Online publication date: 1-Mar-2002.
- Gottlob G, Leone N and Scarcello F (2002). Computing LOGCFL certificates, Theoretical Computer Science, 270:1-2, (761-777), Online publication date: 6-Jan-2002.
- Wong S and Butz C The membership problem for probabilistic and data dependencies Technologies for constructing intelligent systems, (73-84)
- Khodorovskii V (2002). On Normalization of Relations in Relational Databases, Programming and Computing Software, 28:1, (41-52), Online publication date: 1-Jan-2002.
- Wijesekera D, Ganesh M, Srivastava J and Nerode A (2001). Normal forms and syntactic completeness proofs for functional independencies, Theoretical Computer Science, 266:1-2, (365-405), Online publication date: 6-Sep-2001.
- Seydim A, Dunham M and Kumar V Location dependent query processing Proceedings of the 2nd ACM international workshop on Data engineering for wireless and mobile access, (47-53)
- Wong S and Butz C (2001). Constructing the Dependency Structure of a Multiagent Probabilistic Network, IEEE Transactions on Knowledge and Data Engineering, 13:3, (395-415), Online publication date: 1-May-2001.
- Wong S (2001). The Relational Structure of Belief Networks, Journal of Intelligent Information Systems, 16:2, (117-148), Online publication date: 1-Mar-2001.
- Link S Consistency enforcement in databases Proceedings of the 2nd international conference on Semantics in databases, (139-159)
- Savnik I and Flach P (2000). Discovery of multivalued dependencies from relations, Intelligent Data Analysis, 4:3,4, (195-211), Online publication date: 1-Sep-2000.
- Pang W and Goodwin S Consistency in general CSPs Proceedings of the 6th Pacific Rim international conference on Artificial intelligence, (469-479)
- Kogalovsky M, Efimova E, Rybina T and Brakhin V (2023). Formal methods for verification of websites macrostructure integrity, Programming and Computing Software, 26:4, (186-191), Online publication date: 1-Jul-2000.
- Vardi M Constraint satisfaction and database theory Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (76-85)
- Giguette R and Hassell J A relational database model of program execution and software components Proceedings of the 38th annual on Southeast regional conference, (146-155)
- Levene M and Vincent M (2000). Justification for Inclusion Dependency Normal Form, IEEE Transactions on Knowledge and Data Engineering, 12:2, (281-291), Online publication date: 1-Mar-2000.
- Gamal-Eldin M, Thomas G and Elmasri R Integrating relational databases with support for updates Proceedings of the first international symposium on Databases in parallel and distributed systems, (202-209)
- Hart B, Danforth S and Valduriez P Parallelizing a database programming language Proceedings of the first international symposium on Databases in parallel and distributed systems, (72-79)
- Yeh T Spot Proceedings of the 7th ACM international symposium on Advances in geographic information systems, (103-109)
- Butz C and Wong S Recovery Protocols in Multi-Agent Probabilistic Reasoning Systems Proceedings of the 1999 International Symposium on Database Engineering & Applications
- El Fattah Y Structured modeling language for automated modeling in causal networks Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2, (1108-1114)
- Gottlob G, Leone N and Scarcello F A comparison of structural CSP decomposition methods Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1, (394-399)
- Davulcu H, Freire J, Kifer M and Ramakrishnan I A layered architecture for querying dynamic Web content Proceedings of the 1999 ACM SIGMOD international conference on Management of data, (491-502)
- Davulcu H, Freire J, Kifer M and Ramakrishnan I (1999). A layered architecture for querying dynamic Web content, ACM SIGMOD Record, 28:2, (491-502), Online publication date: 1-Jun-1999.
- Hara C and Davidson S Reasoning about nested functional dependencies Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (91-100)
- Gottlob G, Leone N and Scarcello F Hypertree decompositions and tractable queries Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, (21-32)
- Levene M and Loizou G (1999). Database design for incomplete relations, ACM Transactions on Database Systems, 24:1, (80-126), Online publication date: 1-Mar-1999.
- Yang Q, Dao S, Yu C and Rishe N (1997). A Parallel Scheme Using the Divide-and-Conquer Method, Distributed and Parallel Databases, 5:4, (405-438), Online publication date: 1-Oct-1997.
- Lim W Discovery of Constraints from Data for Information System Reverse Engineering Proceedings of the Australian Software Engineering Conference
- Wong S (1997). An Extended Relational Data Model For Probabilistic Reasoning, Journal of Intelligent Information Systems, 9:2, (181-202), Online publication date: 1-Sep-1997.
- Claußen J, Kemper A, Moerkotte G and Peithner K Optimizing Queries with Universal Quantification in Object-Oriented and Object-Relational Databases Proceedings of the 23rd International Conference on Very Large Data Bases, (286-295)
- Chen I, Kosky A, Markowitz V and Szeto E Constructing and Maintaining Scientific Database Views in the Framework of the Object-Protocol Model Proceedings of the Ninth International Conference on Scientific and Statistical Database Management, (237-248)
- Lenz H and Shoshani A Summarizability in OLAP and Statistical Data Bases Proceedings of the Ninth International Conference on Scientific and Statistical Database Management, (132-143)
- Ladner R Implementation of a linear transitive closure algorithm in relational database design Proceedings of the 35th Annual Southeast Regional Conference, (1-5)
- Wu S, Miranker D and Browne J (1996). Decomposition Abstraction in Parallel Rule Languages, IEEE Transactions on Parallel and Distributed Systems, 7:11, (1164-1184), Online publication date: 1-Nov-1996.
- Yannakakis M (1996). Perspectives on database theory, ACM SIGACT News, 27:3, (25-49), Online publication date: 1-Sep-1996.
- Dey D and Sarkar S (1996). A probabilistic relational model and algebra, ACM Transactions on Database Systems, 21:3, (339-369), Online publication date: 1-Sep-1996.
- Wong S Testing implication of probabilistic dependencies Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence, (545-553)
- Shenoy P Binary join trees Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence, (492-499)
- Chen A, Chiu J and Tseng F (1996). Evaluating Aggregate Operations Over Imprecise Data, IEEE Transactions on Knowledge and Data Engineering, 8:2, (273-284), Online publication date: 1-Apr-1996.
- Roddick J, Craske N and Richards T (1996). Handling Discovered Structure in Database Systems, IEEE Transactions on Knowledge and Data Engineering, 8:2, (227-240), Online publication date: 1-Apr-1996.
- Mok W, Ng Y and Embley D (1996). A normal form for precisely characterizing redundancy in nested relations, ACM Transactions on Database Systems, 21:1, (77-106), Online publication date: 1-Mar-1996.
- Chiu J and Chen A (1996). A Note on "Incomplete Relational Database Models Based on Intervals", IEEE Transactions on Knowledge and Data Engineering, 8:1, (189-191), Online publication date: 1-Feb-1996.
- Herzog U and Schaarschmidt R Parallel execution of integrity constraint checks Proceedings of the fourth international conference on Information and knowledge management, (82-89)
- Sadri F (1995). Information Source Tracking Method, IEEE Transactions on Knowledge and Data Engineering, 7:6, (947-954), Online publication date: 1-Dec-1995.
- Chiu J and Chen A (1995). An Exploration of Relationships Among Exclusive Disjunctive Data, IEEE Transactions on Knowledge and Data Engineering, 7:6, (928-940), Online publication date: 1-Dec-1995.
- Vadaparty K and Naqvi S (1995). Using Constraints for Efficient Query Processing in Nondeterministic Databases, IEEE Transactions on Knowledge and Data Engineering, 7:6, (850-864), Online publication date: 1-Dec-1995.
- Kalus C and Dadam P Flexible Relations - Operational Support of Variant Relational Structures Proceedings of the 21th International Conference on Very Large Data Bases, (539-550)
- El Fattah Y and Dechter R Diagnosing tree-decomposable circuits Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2, (1742-1748)
- Wong S, Butz C and Xiang Y A method for implementing a probabilistic model as a relational database Proceedings of the Eleventh conference on Uncertainty in artificial intelligence, (556-564)
- Graefe G and Cole R (1995). Fast algorithms for universal quantification in large databases, ACM Transactions on Database Systems, 20:2, (187-236), Online publication date: 1-Jun-1995.
- Sadri F (1995). Integrity Constraints in the Information Source Tracking Method, IEEE Transactions on Knowledge and Data Engineering, 7:1, (106-119), Online publication date: 1-Feb-1995.
- Wong S and Wang Z On axiomatization of probabilistic conditional independencies Proceedings of the Tenth international conference on Uncertainty in artificial intelligence, (591-597)
- Galindo-Legaria C (1994). Outerjoins as disjunctions, ACM SIGMOD Record, 23:2, (348-358), Online publication date: 1-Jun-1994.
- Rosenthal A and Reiner D (1994). Tools and transformations—rigorous and otherwise—for practical database design, ACM Transactions on Database Systems, 19:2, (167-211), Online publication date: 1-Jun-1994.
- Galindo-Legaria C Outerjoins as disjunctions Proceedings of the 1994 ACM SIGMOD international conference on Management of data, (348-358)
- Laurent D and Spyratos N (1994). A Partition Model Approach to Updating Universal Scheme Interfaces, IEEE Transactions on Knowledge and Data Engineering, 6:2, (316-330), Online publication date: 1-Apr-1994.
- Pittarelli M (1994). An Algebra for Probabilistic Databases, IEEE Transactions on Knowledge and Data Engineering, 6:2, (293-303), Online publication date: 1-Apr-1994.
- Lin X, Orlowska M and Zhang Y (1994). Database placement in communication networks for minimizing the overall transmission cost, Mathematical and Computer Modelling: An International Journal, 19:1, (7-19), Online publication date: 1-Jan-1994.
- Hou W, Zhang Z and Zhou N Statistical inference of unknown attribute values in databases Proceedings of the second international conference on Information and knowledge management, (21-30)
- Paulley G and Larson P Exploiting uniqueness in query optimization Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2, (804-822)
- Levene M and Loizou G (1993). Semantics for null extended nested relations, ACM Transactions on Database Systems, 18:3, (414-459), Online publication date: 1-Sep-1993.
- Lin T Bell and LaPadula axioms Proceedings on the 1992-1993 workshop on New security paradigms, (82-93)
- Escobar-Molano M, Hull R and Jacobs D Safety and translation of calculus queries with scalar functions Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (253-264)
- Rafanelli M and Ricci F (1993). Mefisto, IEEE Transactions on Knowledge and Data Engineering, 5:4, (670-681), Online publication date: 1-Aug-1993.
- Buff H (1993). Remarks on two new theorems of Date and Fagin, ACM SIGMOD Record, 22:1, (55-56), Online publication date: 1-Mar-1993.
- Costilla C, Bas M and Villamor J (1993). SIRIO, ACM SIGMOD Record, 22:1, (28-33), Online publication date: 1-Mar-1993.
- Bhargava G and Gadia S (1993). Relational Database Systems with Zero Information Loss, IEEE Transactions on Knowledge and Data Engineering, 5:1, (76-87), Online publication date: 1-Feb-1993.
- Read R, Fussell D and Silberschatz A A Multi-Resolution Relational Data Model Proceedings of the 18th International Conference on Very Large Data Bases, (139-150)
- Wang K and Graham M (1992). Constant-time maintainability, ACM Transactions on Database Systems, 17:2, (201-246), Online publication date: 1-Jun-1992.
- Weddell G (1992). Reasoning about functional dependencies generalized for semantic data models, ACM Transactions on Database Systems, 17:1, (32-64), Online publication date: 1-Mar-1992.
- Hernández H and Chan E (1991). Constant-time-maintainable BCNF database schemes, ACM Transactions on Database Systems, 16:4, (571-599), Online publication date: 1-Dec-1991.
- Su T and Ozsoyoglu G (1991). Controlling FD and MVD Inferences in Multilevel Relational Database Systems, IEEE Transactions on Knowledge and Data Engineering, 3:4, (474-485), Online publication date: 1-Dec-1991.
- Yager R (1991). Deductive Approximate Reasoning Systems, IEEE Transactions on Knowledge and Data Engineering, 3:4, (399-414), Online publication date: 1-Dec-1991.
- Markowitz V Safe Referential Structures in Relational Databases Proceedings of the 17th International Conference on Very Large Data Bases, (123-132)
- Eick C A Methodology for the Design and Transformation of Conceptual Schemas Proceedings of the 17th International Conference on Very Large Data Bases, (25-34)
- Karabeg D and Vianu V (1991). Simplification rules and complete axiomatization for relational update transactions, ACM Transactions on Database Systems, 16:3, (439-475), Online publication date: 1-Sep-1991.
- Van Gelder A and Topor R (1991). Safety and translation of relational calculus, ACM Transactions on Database Systems, 16:2, (235-278), Online publication date: 1-May-1991.
- da Silva R, Wood K and Beaman J An algebraic approach to geometric query processing in CAD/CAM applications Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications, (73-86)
- Lin H, Miller L and Owrang O. M A universal relation language interface for INGRES Proceedings of the 19th annual conference on Computer Science, (321-331)
- Ng Y Semantic constraints on the connections among tuple components in non-normal-form models Proceedings of the 19th annual conference on Computer Science, (311-320)
- Nakano R (1990). Translation with optimization from relational calculus to relational algebra having aggregate functions, ACM Transactions on Database Systems, 15:4, (518-557), Online publication date: 1-Dec-1990.
- Motro A (1990). Accommodating imprecision in database systems, ACM SIGMOD Record, 19:4, (69-74), Online publication date: 1-Dec-1990.
- Zhang W, Yu C and Troy D (1990). Necessary and sufficient conditions to linearize doubly recursive programs in logic databases, ACM Transactions on Database Systems, 15:3, (459-482), Online publication date: 1-Sep-1990.
- Kifer M and Lozinskii E (1990). On compile-time query optimization in deductive databases by means of static filtering, ACM Transactions on Database Systems, 15:3, (385-426), Online publication date: 1-Sep-1990.
- Nummenmaa J and Thanisch P (1990). Yet another note on minimal covers, ACM SIGMOD Record, 19:3, (30), Online publication date: 1-Sep-1990.
- Zicari R (1990). Incomplete information in object-oriented databases, ACM SIGMOD Record, 19:3, (5-16), Online publication date: 1-Sep-1990.
- Markowitz V Referential Integrity Revisited Proceedings of the 16th International Conference on Very Large Data Bases, (578-589)
- Südkamp N and Linnemann V Elimination of View and Redundant Variables in a SQL-like Database Language for Extended NF2 Structures Proceedings of the 16th International Conference on Very Large Data Bases, (302-313)
- Hulin G On Restructuring Nested Relations in Partitioned Normal Form Proceedings of the 16th International Conference on Very Large Data Bases, (626-637)
- Sridhar R and Iyengar S Efficient parallel algorithms for functional dependency manipulations Proceedings of the second international symposium on Databases in parallel and distributed systems, (126-137)
- Concepcion A and Villafuerte R Expert DB: an assistant database design system Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1, (333-340)
- Motro A (1990). FLEX, IEEE Transactions on Knowledge and Data Engineering, 2:2, (231-246), Online publication date: 1-Jun-1990.
- Langerak R (1990). View updates in relational databases with an independent scheme, ACM Transactions on Database Systems, 15:1, (40-66), Online publication date: 1-Mar-1990.
- Motro A (1989). Integrity = validity + completeness, ACM Transactions on Database Systems, 14:4, (480-502), Online publication date: 1-Dec-1989.
- DeMichiel L (1989). Resolving Database Incompatibility, IEEE Transactions on Knowledge and Data Engineering, 1:4, (485-493), Online publication date: 1-Dec-1989.
- Agrawal R and Devanbu P (1989). Moving Selections into Linear Least Fixpoint Queries, IEEE Transactions on Knowledge and Data Engineering, 1:4, (424-432), Online publication date: 1-Dec-1989.
- Blakeley J, Coburn N and Larson P (1989). Updating derived relations: detecting irrelevant and autonomously computable updates, ACM Transactions on Database Systems, 14:3, (369-400), Online publication date: 1-Sep-1989.
- Casanova M, Tucherman L, Furtado A and Braga A Optimization of relational schemas containing inclusion dependencies Proceedings of the 15th international conference on Very large data bases, (317-325)
- Motro A Using integrity constraints to provide intensional answers to relational queries Proceedings of the 15th international conference on Very large data bases, (237-246)
- Ola A and Ozsoyoglu G A family of incomplete relational database models Proceedings of the 15th international conference on Very large data bases, (23-31)
- Markowitz V and Shoshani A On the correctness of representing extended entity-relationship structures in the relational model Proceedings of the 1989 ACM SIGMOD international conference on Management of data, (430-439)
- Gyssens M, Paredaens J and van Gucht D A grammar-based approach towards unifying hierarchical data models Proceedings of the 1989 ACM SIGMOD international conference on Management of data, (263-272)
- Jagadish H Incorporating hierarchy in a relational model of data Proceedings of the 1989 ACM SIGMOD international conference on Management of data, (78-87)
- Markowitz V and Shoshani A (1989). On the correctness of representing extended entity-relationship structures in the relational model, ACM SIGMOD Record, 18:2, (430-439), Online publication date: 1-Jun-1989.
- Gyssens M, Paredaens J and van Gucht D (1989). A grammar-based approach towards unifying hierarchical data models, ACM SIGMOD Record, 18:2, (263-272), Online publication date: 1-Jun-1989.
- Jagadish H (1989). Incorporating hierarchy in a relational model of data, ACM SIGMOD Record, 18:2, (78-87), Online publication date: 1-Jun-1989.
- Embley D (1989). NFQL: the natural forms query language, ACM Transactions on Database Systems, 14:2, (168-211), Online publication date: 1-Jun-1989.
- Atzeni P and Chan E (1989). Efficient optimization of simple chase join expressions, ACM Transactions on Database Systems, 14:2, (212-230), Online publication date: 1-Jun-1989.
- Liu W (1989). The determining method about the conflict between the null constraints and the set of functional dependencies, Journal of Computer Science and Technology, 4:2, (116-125), Online publication date: 1-Apr-1989.
- Elkan C A decision procedure for conjunctive query disjointness Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (134-139)
- Wang K Can constant-time-maintainability be more practical? Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (120-127)
- Tay Y Attribute agreement Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (110-119)
- Atzeni P and Torlone R Updating databases in the weak instance model Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (101-109)
- Grahne G Horn tables-an efficient tool for handling incomplete information in databases Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (75-82)
- Ng Y and Embley D The retrieval power of NFQL Proceedings of the 17th conference on ACM Annual Computer Science Conference, (62-69)
- Seyed-Abbassi B and Thompson J G-base fourth normal form in relational database Proceedings of the 17th conference on ACM Annual Computer Science Conference, (54-61)
- Clifford J (1988). Natural language querying of historical databases, Computational Linguistics, 14:4, (10-34), Online publication date: 1-Dec-1988.
- Vossen G and Yacabucci J (1988). An extension of the database language SQL to capture more relational concepts, ACM SIGMOD Record, 17:4, (70-78), Online publication date: 1-Nov-1988.
- Atkins J (1988). A note on minimal covers, ACM SIGMOD Record, 17:4, (16-21), Online publication date: 1-Nov-1988.
- Yang C, Li G and Ng B (1988). An improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme, IEEE Transactions on Software Engineering, 14:11, (1731-1738), Online publication date: 1-Nov-1988.
- Gadia S (1988). A homogeneous relational model and query languages for temporal databases, ACM Transactions on Database Systems, 13:4, (418-448), Online publication date: 1-Oct-1988.
- Brosda V and Vossen G (1988). Update and retrieval in a relational database through a universal schema interface, ACM Transactions on Database Systems, 13:4, (449-485), Online publication date: 1-Oct-1988.
- Gottlob G and Zicari R Closed World Databases Opened Through Null Values Proceedings of the 14th International Conference on Very Large Data Bases, (50-61)
- Neuhold E and Schrefl M Dynamic Derivation of Personalized Views Proceedings of the 14th International Conference on Very Large Data Bases, (183-194)
- Delcambre L and Etheredge J (1988). A self-controlling interpreter for the relational production language, ACM SIGMOD Record, 17:3, (396-403), Online publication date: 1-Jun-1988.
- Leuchner J, Miller L and Slutzki G (1988). A polynomial time algorithm for testing implications of a join dependency and embodied functional dependencies, ACM SIGMOD Record, 17:3, (218-224), Online publication date: 1-Jun-1988.
- Hernández H and Chan E (1988). A characterization of constant-time maintainability for BCNF database schemes, ACM SIGMOD Record, 17:3, (209-217), Online publication date: 1-Jun-1988.
- Laurent D and Spyratis N (1988). Partition semantics for incomplete information in relational databases, ACM SIGMOD Record, 17:3, (66-73), Online publication date: 1-Jun-1988.
- Delcambre L and Etheredge J A self-controlling interpreter for the relational production language Proceedings of the 1988 ACM SIGMOD international conference on Management of data, (396-403)
- Leuchner J, Miller L and Slutzki G A polynomial time algorithm for testing implications of a join dependency and embodied functional dependencies Proceedings of the 1988 ACM SIGMOD international conference on Management of data, (218-224)
- Hernández H and Chan E A characterization of constant-time maintainability for BCNF database schemes Proceedings of the 1988 ACM SIGMOD international conference on Management of data, (209-217)
- Laurent D and Spyratis N Partition semantics for incomplete information in relational databases Proceedings of the 1988 ACM SIGMOD international conference on Management of data, (66-73)
- Eich M and Wells D (1988). Database concurrency control using data flow graphs, ACM Transactions on Database Systems, 13:2, (197-227), Online publication date: 1-Jun-1988.
- Raju K and Majumdar A (1988). Fuzzy functional dependencies and lossless join decomposition of fuzzy relational database systems, ACM Transactions on Database Systems, 13:2, (129-166), Online publication date: 1-Jun-1988.
- Potter W and Trueblood R (1988). Traditional, Semantic, and Hypersemantic Approaches to Data Modeling, Computer, 21:6, (53-63), Online publication date: 1-Jun-1988.
- Sippu S and Soisalon-Soininen E A generalized transitive closure for relational queries Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (325-332)
- Hegner S Decomposition of relational schemata into components defined by both projection and restriction Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (174-183)
- Hurson A and Miller L Modification operations in data base machines Proceedings of the 1988 ACM sixteenth annual conference on Computer science, (636-643)
- Hurson A, Miller L and Pakzad S Incomplete information and the join operation in database machines Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, (436-443)
- Liu K and Sunderraman R An extension to the relational model for indefinite databases Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, (428-435)
- Shenoy S and Ozsoyoglu Z (1987). A system for semantic query optimization, ACM SIGMOD Record, 16:3, (181-195), Online publication date: 1-Dec-1987.
- Roth M and Korth H (1987). The design of ¬ 1NF relational databases into nested normal form, ACM SIGMOD Record, 16:3, (143-159), Online publication date: 1-Dec-1987.
- Shenoy S and Ozsoyoglu Z A system for semantic query optimization Proceedings of the 1987 ACM SIGMOD international conference on Management of data, (181-195)
- Roth M and Korth H The design of ¬ 1NF relational databases into nested normal form Proceedings of the 1987 ACM SIGMOD international conference on Management of data, (143-159)
- Yang H and Larson P Query Transformation for PSJ-Queries Proceedings of the 13th International Conference on Very Large Data Bases, (245-254)
- Bültzingsloewen G Translating and Optimizing SQL Queries Having Aggregates Proceedings of the 13th International Conference on Very Large Data Bases, (235-243)
- Cavallo R and Pittarelli M The Theory of Probabilistic Databases Proceedings of the 13th International Conference on Very Large Data Bases, (71-81)
- Atzeni P and Chan E Independent Database Schemes under Functional and Inclusion Dependencies Proceedings of the 13th International Conference on Very Large Data Bases, (159-166)
- Scholl M, Paul H and Schek H Supporting Flat Relations by a Nested Relational Kernel Proceedings of the 13th International Conference on Very Large Data Bases, (137-146)
- Miller L and Hurson A (1987). Supporting maybe algebra in the Associative Search Language Machine (ASLM), ACM SIGMOD Record, 16:2, (61-80), Online publication date: 1-Sep-1987.
- Pervin W (1987). Inference rules for multivalued dependencies, ACM SIGCSE Bulletin, 19:3, (4-7), Online publication date: 1-Sep-1987.
- Abiteboul S and Vianu V A translation language complete for database update and specification Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (260-268)
- Karabeg A, Karabeg D, Papakonstantinou K and Vianu V Axiomatization and simplification rules for relational transactions Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (254-259)
- Delgrande J Formal limits on the automatic generation and maintenance of integrity constraints Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (190-196)
- Dechter R Decomposing an N-ary relation into a tree of binary relations Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (185-189)
- Gottlob G Computing covers for embedded functional dependencies Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (58-69)
- Ozsoyoglu Z and Yuan L (1987). A new normal form for nested relations, ACM Transactions on Database Systems, 12:1, (111-136), Online publication date: 1-Mar-1987.
- Seyed-Abbassi B and Thompson J Grammatical relational database model (abstract only) Proceedings of the 15th annual conference on Computer Science
- Chang C, Leonard M, Hwarng H and Shiau T A pegging method for decomposing relations in databases Proceedings of the 15th annual conference on Computer Science, (162-165)
- Salzberg B (1986). Third normal form made easy, ACM SIGMOD Record, 15:4, (2-18), Online publication date: 1-Dec-1986.
- Marek W and Rasiowa H Approximating sets with equivalence relations Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems, (190-200)
- Miller L and Hurson A MAYBE algebra operators in database machine architecture Proceedings of 1986 ACM Fall joint computer conference, (1210-1218)
- Motro A Completeness Information and Its Application to Query Processing Proceedings of the 12th International Conference on Very Large Data Bases, (170-178)
- Keller A Choosing a View Update Translator by Dialog at View Definition Time Proceedings of the 12th International Conference on Very Large Data Bases, (467-474)
- Chakravarthy U and Minker J Multiple Query Processing in Deductive Databases using Query Graphs Proceedings of the 12th International Conference on Very Large Data Bases, (384-391)
- Blakeley J, Coburn N and Larson P Updating Derived Relations Proceedings of the 12th International Conference on Very Large Data Bases, (457-466)
- Biskup J and Convent B A formal view integration method Proceedings of the 1986 ACM SIGMOD international conference on Management of data, (398-407)
- Motro A Constructing queries from tokens Proceedings of the 1986 ACM SIGMOD international conference on Management of data, (120-131)
- Biskup J and Convent B (1986). A formal view integration method, ACM SIGMOD Record, 15:2, (398-407), Online publication date: 15-Jun-1986.
- Motro A (1986). Constructing queries from tokens, ACM SIGMOD Record, 15:2, (120-131), Online publication date: 15-Jun-1986.
- Ceri S and Gottlob G (1986). Normalization of relations and PROLOG, Communications of the ACM, 29:6, (524-544), Online publication date: 1-Jun-1986.
- Mendelson H and Saharia A (1986). Incomplete information costs and database design, ACM Transactions on Database Systems, 11:2, (159-185), Online publication date: 1-Jun-1986.
- Beeri C and Kifer M (1986). An integrated approach to logical design of relational database schemes, ACM Transactions on Database Systems, 11:2, (134-158), Online publication date: 1-Jun-1986.
- Streeter V Some relational query language design issues and the language MQL Proceedings of the 1986 ACM fourteenth annual conference on Computer science, (271-276)
- Larson P and Yang H Computing queries from derived relations Proceedings of the 11th international conference on Very Large Data Bases - Volume 11, (259-269)
- Heiler S and Rosenthal A G-WHIZ, a visual interface for the functional model with recursion Proceedings of the 11th international conference on Very Large Data Bases - Volume 11, (209-218)
- Ruland D and Seipel D Alpha-acyclic decompositions of relational database schemes Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, (191-201)
- Vardi M On the integrity of databases with incomplete information Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, (252-266)
- Abiteboul S and Vianu V Deciding properties of transactional schemas Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, (235-239)
- Biskup H and Schnetgoke L One flavor assumption and gamma-acyclicity for universal relation views Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, (148-159)
- Bancilhon F, Maier D, Sagiv Y and Ullman J Magic sets and other strange ways to implement logic programs (extended abstract) Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, (1-15)
- Vossen G and Brosda V (1985). A high-level user interface for update and retrieval in relational databases—language aspects, ACM SIGMOD Record, 14:4, (343-353), Online publication date: 1-May-1985.
- Vossen G and Brosda V A high-level user interface for update and retrieval in relational databases—language aspects Proceedings of the 1985 ACM SIGMOD international conference on Management of data, (343-353)
- Adiba M Les bases de donnees generalisees Recherche d'Informations Assistée par Ordinateur, (461-485)
- Grahne G Dependency Satisfaction in Databases with Incomplete Information Proceedings of the 10th International Conference on Very Large Data Bases, (37-45)
- Ehrich H, Lipeck U and Gogolla M Specification, Semantics, and Enforcement of Dynamic Database Constraints Proceedings of the 10th International Conference on Very Large Data Bases, (301-308)
- Brzezinski Z, Getta J, Rybnik J and Stepniewski W UNIBASE - An Integrated Access to Databases Proceedings of the 10th International Conference on Very Large Data Bases, (388-396)
- Abiteboul S and Vianu V Transactions in Relational Databases (Preliminary Report) Proceedings of the 10th International Conference on Very Large Data Bases, (46-56)
- Tan K A Less Costly Constraints Checking for Join Dependency Proceedings of the 10th International Conference on Very Large Data Bases, (63-68)
- Hardwick M Extending the relational database data model for design applications Proceedings of the 21st Design Automation Conference, (110-116)
- Maier D, Ullman J and Vardi M (1984). On the foundations of the universal relation model, ACM Transactions on Database Systems, 9:2, (283-308), Online publication date: 3-Jun-1984.
- Vianu V Object projection views in the dynamic relational model Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems, (214-220)
- Lipski W On relational algebra with marked nulls preliminary version Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems, (201-203)
- Abiteboul S and Bidoit N Non first normal form relations to represent hierarchically organized data Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems, (191-200)
- Hegner S Canonical view update support through boolean algebras of components Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems, (163-173)
- Hull R Relative information capacity of simple relational database schemata Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems, (97-109)
- D'Atri A and Moscarini M On the recognition and design of acyclic databases Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems, (1-8)
- Blanning R (1984). Conversing with management information systems in a natural language, Communications of the ACM, 27:3, (201-207), Online publication date: 1-Mar-1984.
- Clifford J and Warren D (1983). Formal semantics for time in databases, ACM Transactions on Database Systems, 8:2, (214-254), Online publication date: 1-Jun-1983.
- Maier D, Ullman J and Vardi M The revenge of the JD Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems, (279-287)
Index Terms
- Theory of Relational Databases
Recommendations
Federating Object-Oriented and Relational Databases: The IRO-DB Experience
COOPIS '97: Proceedings of the Second IFCIS International Conference on Cooperative Information SystemsFrom the beginning of 1994 to the end of 1996, the IRO-DB (Interoperable Relational and Object-Oriented Databases) ESPRIT project has developed tools for accessing relational and object-oriented databases in an integrated way, and for designing and ...
Non-Relational Databases in Big Data
ICTCS '16: Proceedings of the Second International Conference on Information and Communication Technology for Competitive StrategiesThese days' Big data is becoming a very essential component for the industries where large volume of data at very high speed is used to solve particular data problems. Generally, big data is first analyzed and then used with other available data in the ...