RIA: Linear Constraint Databases
RIA:线性约束数据库
基本信息
- 批准号:9409770
- 负责人:
- 金额:$ 10万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:1994
- 资助国家:美国
- 起止时间:1994-10-01 至 1998-09-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
The incorporation of constraint technology in programming languages, although very recent, is a promising and effective tool for the development of software solutions to problems with complex modeling requirements. This research incorporates successful constraint technology (involving linear inequalities, linear programming, finite domains, and incremental constraint maintenance) with database technology, in a new framework of Linear Constraint Databases. These Linear Constraint Databases are motivated by and aimed at a number of application domains that require large persistent storage and are characterized by (1) spatio-temporal features, (2) constraint-based design and planning, and (3) large-scale (usually linear programming) optimization and analysis. The challenge in the proposed research involves achieving both efficient and declarative querying of large data sets involving constraints. A successful integration of constraint programming techniques with object-oriented or relational database systems is possible, given the current programming and database state-of-the-art. Also, it is challenging, given the demands for efficiency and high level specification. The impact of a successful integration could be significant in a number of important application areas. Moreover, it has the potentialto be an integral part of a new eneration of database management systems.
约束技术在编程语言中的结合,虽然是最近的,是一个有前途的和有效的工具,开发软件解决方案的问题,复杂的建模要求。本研究结合成功的约束技术(包括线性不等式,线性规划,有限域,和增量约束维护)与数据库技术,在一个新的框架线性约束数据库。 这些线性约束数据库的动机和目标是许多需要大容量持久存储的应用领域,其特征在于(1)时空特征,(2)基于约束的设计和规划,以及(3)大规模(通常是线性规划)优化和分析。 所提出的研究中的挑战涉及实现高效和声明性查询的大型数据集,涉及约束。 一个成功的集成约束编程技术与面向对象或关系数据库系统是可能的,鉴于目前的编程和数据库国家的最先进的。此外,这是具有挑战性的,鉴于效率和高层次的规格要求。 成功整合的影响在许多重要的应用领域可能是巨大的。此外,它有潜力成为新一代数据库管理系统的一个组成部分。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
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 }}
Alexander Brodsky其他文献
Toward Practical Query Evaluation for Constraint Databases
- DOI:
10.1023/a:1009795512753 - 发表时间:
1997-09-01 - 期刊:
- 影响因子:1.300
- 作者:
Alexander Brodsky;Joxan Jaffar;Michael J. Maher - 通讯作者:
Michael J. Maher
SERIAL SECTIONING OF Ti-6Al-4V USING AN FIB-SEM DUAL BEAM SYSTEM
使用 FIB-SEM 双束系统对 Ti-6Al-4V 进行连续切片
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
Alexander Brodsky - 通讯作者:
Alexander Brodsky
Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data
- DOI:
10.1023/a:1006171919920 - 发表时间:
1999-07-01 - 期刊:
- 影响因子:0.800
- 作者:
Alexander Brodsky;Catherine Lassez;Jean-Louis Lassez;Michael J. Maher - 通讯作者:
Michael J. Maher
Thermal signature of LIPSS formation revealed by infrared diagnostics
- DOI:
10.1016/j.procir.2022.08.156 - 发表时间:
2022-01-01 - 期刊:
- 影响因子:
- 作者:
Jiří Martan;Carlos Beltrami;Petr Hauschwitz;Denys Moskal;Radka Bičišťová;Milan Honner;Alexander Brodsky;Vladislav Lang - 通讯作者:
Vladislav Lang
Informal Learning in Business Internships in Higher Education – Findings from a Diary Study
- DOI:
10.1007/s12186-024-09349-y - 发表时间:
2024-07-22 - 期刊:
- 影响因子:1.800
- 作者:
Alexander Brodsky;Andreas Rausch;Jürgen Seifried - 通讯作者:
Jürgen Seifried
Alexander Brodsky的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Alexander Brodsky', 18)}}的其他基金
Student Support: NIST-ASTM-NSF-ASME Workshop & Competition on Formalizing Manufacturing Processes for Structured Sustainability Assessments; Los Angeles, California; June 4-8,
学生支持:NIST-ASTM-NSF-ASME 研讨会
- 批准号:
1719289 - 财政年份:2017
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
CAREER: Constraint Databases: Space, Time and CombinatorialOptimization
职业:约束数据库:空间、时间和组合优化
- 批准号:
9734242 - 财政年份:1998
- 资助金额:
$ 10万 - 项目类别:
Continuing Grant
相似国自然基金
Development of a Linear Stochastic Model for Wind Field Reconstruction from Limited Measurement Data
- 批准号:
- 批准年份:2020
- 资助金额:40 万元
- 项目类别:
相似海外基金
CAREER: Scalable algorithms for regularized and non-linear genetic models of gene expression
职业:基因表达的正则化和非线性遗传模型的可扩展算法
- 批准号:
2336469 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Continuing Grant
Regulation of Linear Ubiquitin Signaling in Innate Immunity
先天免疫中线性泛素信号传导的调节
- 批准号:
MR/X036944/1 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Research Grant
Statistical aspects of non-linear inverse problems
非线性反问题的统计方面
- 批准号:
EP/Y030249/1 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Research Grant
CAREER: Theoretical and Computational Advances for Enabling Robust Numerical Guarantees in Linear and Mixed Integer Programming Solvers
职业:在线性和混合整数规划求解器中实现鲁棒数值保证的理论和计算进展
- 批准号:
2340527 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Continuing Grant
CAREER: Leveraging Randomization and Structure in Computational Linear Algebra for Data Science
职业:利用计算线性代数中的随机化和结构进行数据科学
- 批准号:
2338655 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Continuing Grant
CAREER: Effective Hamiltonian Downfolding Methods for Studying Linear and Nonlinear Responses of Quantum Materials
职业:研究量子材料线性和非线性响应的有效哈密顿向下折叠方法
- 批准号:
2338704 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Continuing Grant
RII Track-4:NSF: Construction of New Additive and Semi-Implicit General Linear Methods
RII Track-4:NSF:新的加法和半隐式一般线性方法的构造
- 批准号:
2327484 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
DMS-EPSRC: Certifying Accuracy of Randomized Algorithms in Numerical Linear Algebra
DMS-EPSRC:验证数值线性代数中随机算法的准确性
- 批准号:
EP/Y030990/1 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Research Grant
Linear Response and Koopman Modes: Prediction and Criticality - LINK
线性响应和库普曼模式:预测和临界性 - LINK
- 批准号:
EP/Y026675/1 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Research Grant
Structural Performance Analysis of a Floating Green Energy Storage Subjected to Non-Linear Loads
非线性载荷下浮动绿色储能结构性能分析
- 批准号:
2902122 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Studentship