Schweikardt, Nicole
- Answering Conjunctive Queries under Updates
2017/02/21 by Christoph Berkholz, Jens Keppeler, Berkholz, Christoph +3 · 6 citations
Computer Science · #Advanced Database Systems and Queries #Complexity and Algorithms in Graphs #Data Structures and Algorithms (cs.DS) #Databases (cs.DB) #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Answering (Unions of) Conjunctive Queries using Random Access and Random-Order Enumeration
2019/12/23 by Carmeli, Nofar, Zeevi, Shai, Berkholz, Christoph +2 · 4 citations
#Databases (cs.DB) #FOS: Computer and information sciences
- Answering UCQs under updates and in the presence of integrity constraints
2017/09/28 by Berkholz, Christoph, Keppeler, Jens, Schweikardt, Nicole · 3 citations
#Databases (cs.DB) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Answering FO+MOD queries under updates on bounded degree databases
2017/02/28 by Christoph Berkholz, Berkholz, Christoph, Jens Keppeler +3 · 4 citations
Computer Science · #Advanced Database Systems and Queries #Algorithms and Data Compression #Data Management and Algorithms #Databases (cs.DB) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Arithmetic, First-Order Logic, and Counting Quantifiers
2002/11/19 by Nicole Schweikardt, Schweikardt, Nicole · 1 citation
Computer Science · Mathematics · #Advanced Graph Theory Research #Complexity and Algorithms in Graphs #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Markov Chains and Monte Carlo Methods #cs.LO
- Counting Homomorphisms from Hypergraphs of Bounded Generalised Hypertree Width: A Logical Characterisation
2023/03/20 by Scheidt, Benjamin, Schweikardt, Nicole · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Spanner Evaluation over SLP-Compressed Documents
2021/01/25 by Schmid, Markus L., Schweikardt, Nicole · 1 citation
#Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)