English
Related papers

Related papers: Unique key Horn functions

200 papers

The encoder-decoder framework achieves state-of-the-art results in keyphrase generation (KG) tasks by predicting both present keyphrases that appear in the source document and absent keyphrases that do not. However, relying solely on the…

Computation and Language · Computer Science 2021-09-13 Jiacheng Ye , Ruijian Cai , Tao Gui , Qi Zhang

Mining association rules is a popular and well researched method for discovering interesting relations between variables in large databases. A practical problem is that at medium to low support values often a large number of frequent…

Databases · Computer Science 2008-12-18 Michael Hahsler , Christian Buchta , Kurt Hornik

For a fixed graph $H$, the $H$-SUBGRAPH HITTING problem consists in deleting the minimum number of vertices from an input graph to obtain a graph without any occurrence of $H$ as a subgraph. This problem can be seen as a generalization of…

Data Structures and Algorithms · Computer Science 2024-04-26 Marin Bougeret , Bart M. P. Jansen , Ignasi Sau

The relational model is the most commonly used data model for storing large datasets, perhaps due to the simplicity of the tabular format which had revolutionized database management systems. However, many real world objects are recursive…

Databases · Computer Science 2011-06-01 Amani Tahat , Maurice HT Ling

Feature selection is an important problem in high-dimensional data analysis and classification. Conventional feature selection approaches focus on detecting the features based on a redundancy criterion using learning and feature searching…

Computer Vision and Pattern Recognition · Computer Science 2012-01-31 Alex Pappachen James , Sima Dimitrijev

Finding dense subgraphs of a large network is a fundamental problem in graph mining that has been studied extensively both for its theoretical richness and its many practical applications over the last five decades. However, most existing…

Social and Information Networks · Computer Science 2023-10-10 Ali Behrouz , Farnoosh Hashemi

Homomorphic encryption (HE) is a promising technique used for privacy-preserving computation. Since HE schemes only support primitive polynomial operations, homomorphic evaluation of polynomial approximations for non-polynomial functions…

Cryptography and Security · Computer Science 2024-05-27 John Chiang

The goal of community search in heterogeneous information networks (HINs) is to identify a set of closely related target nodes that includes a query target node. In practice, a size constraint is often imposed due to limited resources,…

Databases · Computer Science 2025-08-21 Xinjian Zhang , Lu Chen , Chengfei Liu , Rui Zhou , Bo Ning

The monotone minimal perfect hash function (MMPHF) problem is the following indexing problem. Given a set $S= \{s_1,\ldots,s_n\}$ of $n$ distinct keys from a universe $U$ of size $u$, create a data structure $DS$ that answers the following…

Data Structures and Algorithms · Computer Science 2022-07-26 Sepehr Assadi , Martin Farach-Colton , William Kuszmaul

A hypergraph is a generalization of a graph, in which a hyperedge can connect multiple vertices, modeling complex relationships involving multiple vertices simultaneously. Hypergraph pattern matching, which is to find all isomorphic…

Databases · Computer Science 2025-12-23 Siwoo Song , Wonseok Shin , Kunsoo Park , Giuseppe F. Italiano , Zhengyi Yang , Wenjie Zhang

A matching cut is a matching that is also an edge cut. In the problem Minimum Matching Cut, we ask for a matching cut with the minimum number of edges in the matching. We investigate the differences in complexity between Minimum Matching…

Combinatorics · Mathematics 2026-02-20 Felicia Lucke , Joseph Marchand , Jannik Olbrich

Functional dependencies -- traditional, approximate and conditional are of critical importance in relational databases, as they inform us about the relationships between attributes. They are useful in schema normalization, data…

Databases · Computer Science 2010-12-14 Sushovan De , Subbarao Kambhampati

While state-of-the-art kernels for graphs with discrete labels scale well to graphs with thousands of nodes, the few existing kernels for graphs with continuous attributes, unfortunately, do not scale well. To overcome this limitation, we…

Machine Learning · Computer Science 2016-10-04 Christopher Morris , Nils M. Kriege , Kristian Kersting , Petra Mutzel

Automatically inferring join relationships is a critical task for effective data discovery, integration, querying and reuse. However, accurately and efficiently identifying these relationships in large and complex schemas can be…

Recently, researchers have extended the concept of matchings to the more general problem of finding $b$-matchings in hypergraphs broadening the scope of potential applications and challenges. The concept of $b$-matchings, where $b$ is a…

Data Structures and Algorithms · Computer Science 2024-08-14 Ernestine Großmann , Felix Joos , Henrik Reinstädtler , Christian Schulz

Graphs have been utilized as a powerful tool to model pairwise relationships between people or objects. Such structure is a special type of a broader concept referred to as hypergraph, in which each hyperedge may consist of an arbitrary…

Social and Information Networks · Computer Science 2020-06-15 Manh Tuan Do , Se-eun Yoon , Bryan Hooi , Kijung Shin

We formulate query-subquery nets and use them to create the first framework for developing algorithms for evaluating queries to Horn knowledge bases with the properties that: the approach is goal-directed; each subquery is processed only…

Databases · Computer Science 2012-01-13 Linh Anh Nguyen , Son Thanh Cao

A decision problem is called parameterized if its input is a pair of strings. One of these strings is referred to as a parameter. The problem: given a propositional logic program P and a non-negative integer k, decide whether P has a stable…

Logic in Computer Science · Computer Science 2007-05-23 Zbigniew Lonc , Miroslaw Truszczynski

Inspired by the trend on unifying theories of programming, this paper shows how the algebraic treatment of standard data dependency theory equips relational data with functional types and an associated type system which is useful for type…

Logic in Computer Science · Computer Science 2012-10-18 Jose N. Oliveira

A k-ranking of a graph G is a labeling of the vertices of G with values from {1,...,k} such that any path joining two vertices with the same label contains a vertex having a higher label. The tree-depth of G is the smallest value of k for…

Combinatorics · Mathematics 2015-11-12 Michael D. Barrus , John Sinkovic