English
Related papers

Related papers: Unique key Horn functions

200 papers

Minimal perfect hashing is the problem of mapping a static set of $n$ distinct keys into the address space $\{1,\ldots,n\}$ bijectively. It is well-known that $n\log_2(e)$ bits are necessary to specify a minimal perfect hash function (MPHF)…

Data Structures and Algorithms · Computer Science 2023-04-13 Giulio Ermanno Pibiri , Yoshihiro Shibuya , Antoine Limasset

We introduce a new graph parameter, the hydra number, arising from the minimization problem for Horn formulas in propositional logic. The hydra number of a graph $G=(V,E)$ is the minimal number of hyperarcs of the form $u,v\rightarrow w$…

Discrete Mathematics · Computer Science 2015-04-30 Robert H. Sloan , Despina Stasi , Gyorgy Turan

Semantic relation prediction aims to mine the implicit relationships between objects in heterogeneous graphs, which consist of different types of objects and different types of links. In real-world scenarios, new semantic relations…

Machine Learning · Computer Science 2022-07-13 Pengfei Ding , Yan Wang , Guanfeng Liu , Xiaofang Zhou

cryptographic hash function is a deterministic procedure that compresses an arbitrary block of numerical data and returns a fixed-size bit string. There exist many hash functions: MD5, HAVAL, SHA, ... It was reported that these hash…

Cryptography and Security · Computer Science 2011-11-23 Rene Ndoundam , Juvet Karnel Sadie

Uniqueness and independence are two fundamental properties of data. Their enforcement in database systems can lead to higher quality data, faster data service response time, better data-driven decision making and knowledge discovery from…

Databases · Computer Science 2014-04-18 Miika Hannula , Juha Kontinen , Sebastian Link

Given a graph $G = (V,E)$, a threshold function $t~ :~ V \rightarrow \mathbb{N}$ and an integer $k$, we study the Harmless Set problem, where the goal is to find a subset of vertices $S \subseteq V$ of size at least $k$ such that every…

Computational Complexity · Computer Science 2022-01-27 Ajinkya Gaikwad , Soumen Maity

Conjunctive queries select and are expected to return certain tuples from a relational database. We study the potentially easier problem of counting all selected tuples, rather than enumerating them. In particular, we are interested in the…

Computational Complexity · Computer Science 2019-04-30 Holger Dell , Marc Roth , Philip Wellnitz

A possible world of an incomplete database table is obtained by imputing values from the attributes (infinite) domain to the place of \texttt{NULL} s. A table satisfies a possible key or possible functional dependency constraint if there…

Databases · Computer Science 2024-02-09 Munqath Al-atar , Attila Sali

An attributed hypergraph comprises nodes with attributes and hyperedges that connect varying numbers of nodes. Attributed hypergraph node and hyperedge embedding (AHNEE) maps nodes and hyperedges to compact vectors for use in important…

Social and Information Networks · Computer Science 2025-08-13 Yiran Li , Gongyao Guo , Chen Feng , Jieming Shi

Feature selection methods are widely used in order to solve the 'curse of dimensionality' problem. Many proposed feature selection frameworks, treat all data points equally; neglecting their different representation power and importance. In…

Machine Learning · Computer Science 2018-10-04 Ammar Gilani , Maryam Amirmazlaghani

The problem of content search through comparisons has recently received considerable attention. In short, a user searching for a target object navigates through a database in the following manner: the user is asked to select the object most…

Machine Learning · Computer Science 2014-02-11 Amin Karbasi , Stratis Ioannidis , Laurent Massoulie

A coreset is a small set that can approximately preserve the structure of the original input data set. Therefore we can run our algorithm on a coreset so as to reduce the total computational complexity. Conventional coreset techniques…

Machine Learning · Computer Science 2022-10-11 Jiaxiang Chen , Qingyuan Yang , Ruomin Huang , Hu Ding

Given a hypergraph $H = (V,E)$, what is the smallest subset $X \subseteq V$ such that $e \cap X \neq \emptyset$ holds for all $e \in E$? This problem, known as the hitting set problem, is a basic problem in parameterized complexity theory.…

Computational Complexity · Computer Science 2018-01-03 Max Bannach , Till Tantau

Functional data clustering is concerned with grouping functions that share similar structure, yet most existing methods implicitly operate on sampled grids, causing cluster assignments to depend on resolution, sampling density, or…

Machine Learning · Computer Science 2026-02-27 Anirudh Thatipelli , Ali Siahkoohi

Searching learning or rules in relational database for data mining purposes with characteristic or classification/discriminant rule in attribute oriented induction technique can be quicker, easy, and simple with simple SQL statement. With…

Databases · Computer Science 2010-06-10 Spits Warnars

We study here fundamental issues involved in top-k query evaluation in probabilistic databases. We consider simple probabilistic databases in which probabilities are associated with individual tuples, and general probabilistic databases in…

Databases · Computer Science 2009-06-08 Xi Zhang , Jan Chomicki

Graph Neural Networks (GNNs) excel at relational reasoning but face two persistent challenges: the lack of interpretable attribution for heterogeneous node types, and the computational overhead of message passing over large, noisy graphs.…

Machine Learning · Computer Science 2026-05-12 Seungwoo Kum

Many real world systems need to operate on heterogeneous information networks that consist of numerous interacting components of different types. Examples include systems that perform data analysis on biological information networks; social…

Artificial Intelligence · Computer Science 2017-07-26 Parisa Kordjamshidi , Sameer Singh , Daniel Khashabi , Christos Christodoulopoulos , Mark Summons , Saurabh Sinha , Dan Roth

The homomorphism problem for relational structures is an abstract way of formulating constraint satisfaction problems (CSP) and various problems in database theory. The decision version of the homomorphism problem received a lot of…

Computational Complexity · Computer Science 2009-02-10 Andrei A. Bulatov , Victor Dalmau , Martin Grohe , Daniel Marx

This thesis investigates the central role of homomorphism problems (structure-preserving maps) in two complementary domains: database querying over finite, graph-shaped data, and constraint solving over (potentially infinite) structures.…

Logic in Computer Science · Computer Science 2025-10-10 Rémi Morvan
‹ Prev 1 3 4 5 6 7 10 Next ›