中文
相关论文

相关论文: Querying XML Documents in Logic Programming

200 篇论文

XrML is becoming a popular language in industry for writing software licenses. The semantics for XrML is implicitly given by an algorithm that determines if a permission follows from a set of licenses. We focus on a fragment of the language…

密码学与安全 · 计算机科学 2008-08-11 Joseph Y. Halpern , Vicky Weissman

Symbolic and logic computation systems ranging from computer algebra systems to theorem provers are finding their way into science, technology, mathematics and engineering. But such systems rely on explicitly or implicitly represented…

计算机科学中的逻辑 · 计算机科学 2011-05-04 Florian Rabe , Michael Kohlhase

Text documents, including programs, typically have human-readable semantic structure. Historically, programmatic access to these semantics has required explicit in-document tagging. Especially in systems where the text has an execution…

计算与语言 · 计算机科学 2024-03-07 Edward Misback , Zachary Tatlock , Steven L. Tanimoto

Extreme Programming is the most prominent new, light-weight (or agile) methods, defined to contrast the current heavy-weight and partially overloaded object-oriented methods. It focuses on the core issues of software technology. One of its…

软件工程 · 计算机科学 2014-09-24 Bernhard Rumpe

With XML becoming a standard for business information representation and exchange, stor-ing, indexing, and querying XML documents have rapidly become major issues in database research. In this context, query processing and optimization are…

数据库 · 计算机科学 2017-01-30 Hadj Mahboubi , Jérôme Darmont

This paper presents a comprehensive overview of the data preparation pipeline developed for the OpenGPT-X project, a large-scale initiative aimed at creating open and high-performance multilingual large language models (LLMs). The project…

XML data projection (or pruning) is a natural optimization for main memory query engines: given a query Q over a document D, the subtrees of D that are not necessary to evaluate Q are pruned, thus producing a smaller document D'; the query…

数据库 · 计算机科学 2015-03-19 Véronique Benzaken , Giuseppe Castagna , Dario Colazzo , Kim Nguyen

Large language models (LLMs) call for extension of context to handle many critical applications. However, the existing approaches are prone to expensive costs and inferior quality of context extension. In this work, we propose Extensible…

计算与语言 · 计算机科学 2024-02-20 Ninglu Shao , Shitao Xiao , Zheng Liu , Peitian Zhang

In contrast to XML query languages as e.g. XPath which require knowledge on the query language as well as on the document structure, keyword search is open to anybody. As the size of XML sources grows rapidly, the need for efficient search…

数据库 · 计算机科学 2013-11-27 Stefan Böttcher , Rita Hartel , Jonathan Rabe

The reasoning capabilities of Large Language Models (LLMs) play a critical role in many downstream tasks, yet depend strongly on the quality of training data. Despite various proposed data construction methods, their practical utility in…

计算与语言 · 计算机科学 2025-10-09 Yike Zhao , Simin Guo , Ziqing Yang , Shifan Han , Dahua Lin , Fei Tan

The basic classification techniques for organizing information are thesauri, taxonomy and faceted classification. Topic map is relatively a new entrant to this information space. Topic map standard describes how complex relationships…

数字图书馆 · 计算机科学 2010-03-19 Rajkumar Kannan

With the advent of Large Language Models (LLMs), generating rule-based data for real-world applications has become more accessible. Due to the inherent ambiguity of natural language and the complexity of rule sets, especially in long…

计算与语言 · 计算机科学 2025-04-21 Teng Wang , Zhenqi He , Wing-Yin Yu , Xiaojin Fu , Xiongwei Han

Large Language Models (LLMs) have spurred progress in text-to-SQL, the task of generating SQL queries from natural language questions based on a given database schema. Despite the declarative nature of SQL, it continues to be a complex…

计算与语言 · 计算机科学 2023-12-25 Ben Eyal , Amir Bachar , Ophir Haroche , Michael Elhadad

A long standing goal of the data management community is to develop general, automated systems that ingest semi-structured documents and output queryable tables without human effort or domain specific customization. Given the sheer variety…

计算与语言 · 计算机科学 2025-03-10 Simran Arora , Brandon Yang , Sabri Eyuboglu , Avanika Narayan , Andrew Hojel , Immanuel Trummer , Christopher Ré

The growing need to integrate information from a large number of diverse sources poses significant scalability challenges for data integration systems. These systems often rely on manually written schema mappings, which are complex,…

数据库 · 计算机科学 2025-06-02 Christopher Buss , Mahdis Safari , Arash Termehchy , Stefan Lee , David Maier

In keyword search, when user cannot get what she wants, query refinement is needed and reason can be various. We first give a thorough categorization of the reason, then focus on solving one category of query refinement problem in the…

数据库 · 计算机科学 2012-11-08 Yong Zeng , Zhifeng Bao , Guoliang Li , Tok Wang Ling , Jiaheng Lu

In the logic programming paradigm, a program is defined by a set of methods, each of which can be executed when specific conditions are met during the current state of an execution. The semantics of these programs can be elegantly…

计算机科学中的逻辑 · 计算机科学 2024-10-02 Matteo Acclavio , Roberto Maieli

In a data warehousing process, the data preparation phase is crucial. Mastering this phase allows substantial gains in terms of time and performance when performing a multidimensional analysis or using data mining algorithms. Furthermore, a…

数据库 · 计算机科学 2007-05-23 Sami Miniaoui , Jérôme Darmont , Omar Boussaïd

One of the main aims of the so-called Web of Data is to be able to handle heterogeneous resources where data can be expressed in either XML or RDF. The design of programming languages able to handle both XML and RDF data is a key target in…

编程语言 · 计算机科学 2015-01-12 Jesús M. Almendros-Jiménez

Understanding the contents of multimodal documents is essential to accurately extract relevant evidence and use it for reasoning. Existing document understanding models tend to generate answers with a single word or phrase directly,…

信息检索 · 计算机科学 2024-08-15 Jinxu Zhang