×

Found 237 Documents (Results 1–100)

100
MathJax

Functional dependencies in incomplete databases with limited domains. (English) Zbl 1456.68028

Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 1-21 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Algebraization of inferring functional dependences in relational databases. (English. Russian original) Zbl 07159458

J. Comput. Syst. Sci. Int. 58, No. 2, 212-228 (2019); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2019, No. 2, 58-74 (2019).
MSC:  68P15
PDF BibTeX XML Cite
Full Text: DOI

A rule-based approach to analyzing database schema objects with Datalog. (English) Zbl 06932821

Fioravanti, Fabio (ed.) et al., Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10855, 20-36 (2018).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Detecting ambiguity in prioritized database repairing. (English) Zbl 1402.68050

Benedikt, Michael (ed.) et al., 20th international conference on database theory, ICDT 2017, Venice, Italy, March 21–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-024-8). LIPIcs – Leibniz International Proceedings in Informatics 68, Article 17, 20 p. (2017).
MSC:  68P15 68Q17 68Q25
PDF BibTeX XML Cite
Full Text: DOI

Instance chains: type class programming without overlapping instances. (English) Zbl 1323.68141

Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 375-386 (2010).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI

Rough sets and functional dependencies in data: foundations of association reducts. (English) Zbl 1246.68221

Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science V. Special issue on cognitive knowledge representation. Berlin: Springer (ISBN 978-3-642-02096-4/pbk). Lecture Notes in Computer Science 5540. Journal Subline, 182-205 (2009).
MSC:  68T30 68P15 68T05
PDF BibTeX XML Cite
Full Text: DOI

Team logic. (English) Zbl 1203.03042

van Benthem, Johan (ed.) et al., Interactive logic. Selected papers from the 7th Augustus de Morgan workshop on interactive logic: Games and social software, King’s College, London, UK, November 4–7, 2005. Amsterdam: Amsterdam University Press (ISBN 978-90-5356-356-4/pbk). Texts in Logic and Games 1, 281-302 (2007).
MSC:  03B60
PDF BibTeX XML Cite

On functional dependencies in advanced data models. (English) Zbl 1264.68073

de Queiroz, Ruy (ed.) et al., Proceedings of the 10th workshop on logic, language, information and computation (WoLLIC’2003), Ouro Preto, Minas Gerais, Brazil, July 29 – August 1, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 84, 117-128 (2003).
MSC:  68P15 03B70
PDF BibTeX XML Cite
Full Text: DOI

Chasing programs in datalog. (English) Zbl 0937.68037

Fraternali, Piero (ed.) et al., Proceedings of the 6th international workshop on Deductive databases and logic programming (DDLP’98). Held in conjunction with the joint international conference and symposium on Logic programming (JICSLP’98) in Manchester, GB, June 20, 1998. St. Augustin: GMD Forschungszentrum Informationstechnik GmbH, GMD-Report. 22, 13-23 (1998).
MSC:  68P15
PDF BibTeX XML Cite

A lattice interpretation of database dependencies. (English) Zbl 0803.68028

Droste, Manfred (ed.) et al., Semantics of programming languages and model theory. Papers presented at the international conference and Research Center for Computer Science, Schloß Dägstuhl, Germany, June 23-29, 1991. Yverdon: Gordon and Breach Science Publishers. Algebra Log. Appl. 5, 305-325 (1993).
MSC:  68P15 06B35
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software