SHF: Medium:Performance Analysis and Optimization for Logic Rule Engines
SHF:中:逻辑规则引擎的性能分析和优化
基本信息
- 批准号:0964196
- 负责人:
- 金额:$ 80.8万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2010
- 资助国家:美国
- 起止时间:2010-06-01 至 2017-05-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Rule systems are increasingly used in areas ranging from Program Analysis,Semantic Web, Security Frameworks, Sensor Networks, Cognitive Radio, andDisruption-tolerant Networking, each with its own demands for efficiencyand scalability. Advances in these areas will lead to a new generation ofrobust and secure applications that control devices on which human safetyand even lives depend, supply with critical information, and help peoplemake informed decisions by pulling together distributed Web-centricresources, analyzing them, and automating complex information-bound tasks.However, existing implementations of rule systems are not sufficientlyscalable and have been shown to vary widely in performance. To make theabove vision of next generation robust applications a reality, one mustunderstand the performance characteristics of rule systems and developscalable optimization and analysis techniques for them. Although advanceshave been made in improving performance of rule systems, the problemremained extremely challenging and poorly understood both theoretically andimplementation-wise.This project will develop a comprehensive framework for rigorousunderstanding and optimization of rule systems. The approach is based onprecise cost calculations and global program transformations, and itcombines and extends techniques from database query optimization, compileroptimization, and recursive query processing. It includes: (1) techniquesfor generating logically equivalent but more efficient programs; (2) costmodels and analysis for generating parameterized cost formulas for therunning time and space usage of rule programs; (3) techniques forestimating parameters of the cost formulas; (4) heuristics for searchingthe exponentially large space of logically equivalent rule programs to findthe ones with the best predicted time, space, and tradeoffs; and (5)implementation of the strategy as an optimizer for the widely used,open-source XSB Logic Programming System. The method and implementationwill be evaluated using applications in Program Analysis and Semantic Web.
规则系统越来越多地用于程序分析、语义Web、安全框架、传感器网络、认知无线电和容中断网络等领域,每一个领域都有自己的效率和可扩展性需求。 这些领域的进步将带来新一代的强大而安全的应用程序,这些应用程序可以控制人类安全甚至生命所依赖的设备,提供关键信息,并通过将分布式的以Web为中心的资源集中在一起,分析它们并自动化复杂的信息绑定任务来帮助人们做出明智的决策。然而,现有的规则系统实现并不具有可伸缩性,并且已经被证明在性能上存在很大差异。 为了实现上述下一代健壮应用的愿景,必须了解规则系统的性能特征,并为它们开发可扩展的优化和分析技术。 尽管在提高规则系统的性能方面已经取得了进展,但这个问题仍然极具挑战性,而且在理论和实施方面都知之甚少。本项目将开发一个全面的框架,用于严格理解和优化规则系统。 该方法基于精确的成本计算和全局程序转换,并结合和扩展了数据库查询优化,编译器优化和递归查询处理技术。 它包括:(1)生成逻辑等价但效率更高的程序的技术;(2)为规则程序的运行时间和空间使用生成参数化代价公式的代价模型和分析;(3)预测代价公式参数的技术;(4)搜索逻辑等价规则程序的指数大空间以找到具有最佳预测时间、空间和折衷的规则程序的算法;以及(5)将该策略实现为广泛使用的开源XSB逻辑编程系统的优化器。 该方法和实现将使用程序分析和语义Web中的应用程序进行评估。
项目成果
期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Founded semantics and constraint semantics of logic rules
- DOI:10.1093/logcom/exaa056
- 发表时间:2020-10
- 期刊:
- 影响因子:0
- 作者:Yanhong A. Liu;S. Stoller
- 通讯作者:Yanhong A. Liu;S. Stoller
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Michael Kifer其他文献
Clabject Typing in MLM – the Double Life of a Clabject: A Position Paper
传销中的 Claject 打字 – Claject 的双重生命:立场文件
- DOI:
- 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Mira Balaban;Michael Kifer;Azzam Maraee - 通讯作者:
Azzam Maraee
Foreword: Deductive object-oriented databases
- DOI:
10.1007/bf00961870 - 发表时间:
1995-03-01 - 期刊:
- 影响因子:3.400
- 作者:
Michael Kifer - 通讯作者:
Michael Kifer
OpenRuleBench: an analysis of the performance of rule engines
OpenRuleBench:规则引擎性能分析
- DOI:
10.1145/1526709.1526790 - 发表时间:
2009 - 期刊:
- 影响因子:0
- 作者:
Senlin Liang;Paul Fodor;Hui Wan;Michael Kifer - 通讯作者:
Michael Kifer
A layered architecture for querying dynamic Web content
用于查询动态 Web 内容的分层架构
- DOI:
- 发表时间:
1999 - 期刊:
- 影响因子:0
- 作者:
H. Davulcu;Juliana Freire;Michael Kifer;I. V. Ramakrishnan - 通讯作者:
I. V. Ramakrishnan
Michael Kifer的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Michael Kifer', 18)}}的其他基金
CCF-BSF: SHF: Small: Integration and Evolution of Software Models with Executable Logic
CCF-BSF:SHF:小型:具有可执行逻辑的软件模型的集成和演化
- 批准号:
1814457 - 财政年份:2018
- 资助金额:
$ 80.8万 - 项目类别:
Standard Grant
A Deductive Engine for the Semantic Web
语义网演绎引擎
- 批准号:
0311512 - 财政年份:2003
- 资助金额:
$ 80.8万 - 项目类别:
Continuing Grant
Logic-based Modeling Analysis, and Implementation of Workflow Management Systems
基于逻辑的建模分析与工作流管理系统的实现
- 批准号:
0072927 - 财政年份:2000
- 资助金额:
$ 80.8万 - 项目类别:
Continuing Grant
U.S.-Turkey Cooperative Research: Modeling and Verification of Workflow Processes
美国-土耳其合作研究:工作流程建模和验证
- 批准号:
9809945 - 财政年份:1999
- 资助金额:
$ 80.8万 - 项目类别:
Standard Grant
Research into Declarative, Object-Oriented Languages for Programming Data and Knowledge
用于编程数据和知识的声明性面向对象语言的研究
- 批准号:
9404629 - 财政年份:1994
- 资助金额:
$ 80.8万 - 项目类别:
Continuing Grant
Design and Implementation of a Higher-Order Logic Programming Language
高阶逻辑编程语言的设计与实现
- 批准号:
9102159 - 财政年份:1991
- 资助金额:
$ 80.8万 - 项目类别:
Continuing Grant
Database Methods in Expert Systems
专家系统中的数据库方法
- 批准号:
8903507 - 财政年份:1989
- 资助金额:
$ 80.8万 - 项目类别:
Continuing Grant
An Efficient Implementation of Deductive Database Systems
演绎数据库系统的高效实现
- 批准号:
8603676 - 财政年份:1986
- 资助金额:
$ 80.8万 - 项目类别:
Standard Grant
相似海外基金
Collaborative Research: SHF: Medium: Enabling Graphics Processing Unit Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的图形处理单元性能仿真
- 批准号:
2402804 - 财政年份:2024
- 资助金额:
$ 80.8万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Enabling GPU Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的 GPU 性能仿真
- 批准号:
2402806 - 财政年份:2024
- 资助金额:
$ 80.8万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Enabling GPU Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的 GPU 性能仿真
- 批准号:
2402805 - 财政年份:2024
- 资助金额:
$ 80.8万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: High-Performance, Verified Accelerator Programming
合作研究:SHF:中:高性能、经过验证的加速器编程
- 批准号:
2313024 - 财政年份:2023
- 资助金额:
$ 80.8万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: A hardware-software co-design approach for high-performance in-memory analytic data processing
协作研究:SHF:中:用于高性能内存分析数据处理的硬件软件协同设计方法
- 批准号:
2312741 - 财政年份:2023
- 资助金额:
$ 80.8万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: High-Performance, Verified Accelerator Programming
合作研究:SHF:中:高性能、经过验证的加速器编程
- 批准号:
2313023 - 财政年份:2023
- 资助金额:
$ 80.8万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: A hardware-software co-design approach for high-performance in-memory analytic data processing
协作研究:SHF:中:用于高性能内存分析数据处理的硬件软件协同设计方法
- 批准号:
2312739 - 财政年份:2023
- 资助金额:
$ 80.8万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: A hardware-software co-design approach for high-performance in-memory analytic data processing
协作研究:SHF:中:用于高性能内存分析数据处理的硬件软件协同设计方法
- 批准号:
2312740 - 财政年份:2023
- 资助金额:
$ 80.8万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: A hardware-software co-design approach for high-performance in-memory analytic data processing
协作研究:SHF:中:用于高性能内存分析数据处理的硬件软件协同设计方法
- 批准号:
2407690 - 财政年份:2023
- 资助金额:
$ 80.8万 - 项目类别:
Standard Grant
Collaborative Research: SHF: Medium: Co-optimizing Spectral Algorithms and Systems for High-Performance Graph Learning
合作研究:SHF:中:协同优化高性能图学习的谱算法和系统
- 批准号:
2212370 - 财政年份:2022
- 资助金额:
$ 80.8万 - 项目类别:
Continuing Grant