会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Concurrency control for confluent trees
    • 汇合树的并发控制
    • US08386421B2
    • 2013-02-26
    • US12824254
    • 2010-06-28
    • Colin W. ReidPhilip A. Bernstein
    • Colin W. ReidPhilip A. Bernstein
    • G06F7/00
    • G06F17/30356
    • Architecture that addresses the efficient detection of conflicts and the merging of data structures such as trees, when possible. The process of detecting conflicts and merging the trees is a meld operation. Confluent trees offer transactional consistency with some degree of isolation, and scaling out a concurrent system based on confluent trees can be accomplished where the meld operation is more efficient than the transaction computations. Transactions execute optimistically using lazily versioned “intention trees” that efficiently describe dependencies and effects using structure and content version information for each intention subtree. The data structure is modified by melding the intention trees in sequence, which causes each transaction to either commit (producing an incremental new version of the data structure) or abort (identifying a conflict which prevents the intention tree from being melded). The architecture is computationally efficient and completes without needing to access much of each tree.
    • 解决冲突有效检测的架构,以及数据结构(如树木)的合并。 检测冲突和合并树木的过程是一个融合的行动。 融合树提供了一定程度的交互性隔离,并且在融合操作比交易计算更有效的情况下,可以实现基于汇合树的并行系统的扩展。 交易使用延迟版本化意图树乐观地执行,使用每个意图子树的结构和内容版本信息有效地描述依赖和效果。 数据结构通过按顺序合并意图树进行修改,这导致每个事务提交(产生数据结构的增量新版本)或中止(识别妨碍意图树的融合的冲突)。 该架构在计算上是有效的并且完成,而不需要访问每个树的大部分。
    • 3. 发明授权
    • Append-based shared persistent storage
    • 基于附加的共享永久存储
    • US08347050B2
    • 2013-01-01
    • US12360122
    • 2009-01-27
    • Philip A. BernsteinColin W. Reid
    • Philip A. BernsteinColin W. Reid
    • G06F12/16
    • G06F3/0659G06F3/0623G06F3/0638G06F3/0679G06F3/0688G06F12/0246G06F2212/1036G06F2212/7211
    • A shared storage system is described herein that is based on an append-only model of updating a storage device to allow multiple computers to access storage with lighter-weight synchronization than traditional systems and to reduce wear on flash-based storage devices. Appending data allows multiple computers to write to the same storage device without interference and without synchronization between the computers. Computers can also safely read a written page without using synchronization because the system limits how data can be changed once written. The system may record a log of append operations performed and ensure idempotence by storing a key specified by the caller in the log along with each log entry. The system also provides broadcasts about appended data to computers so that coordination between computers can occur without direct communication between the computers.
    • 这里描述了一种共享存储系统,其基于仅更新存储设备的附加模型,以允许多个计算机以比传统系统更轻的重量同步访问存储器,并减少基于闪存的存储设备的磨损。 附加数据允许多台计算机写入相同的存储设备而不会受到干扰,并且计算机之间没有同步。 计算机也可以安全地读取书面页面而不使用同步,因为系统限制了一旦写入数据后可以更改数据。 系统可以记录执行的附加操作的日志,并通过将日志中的主叫方指定的密钥与每个日志条目一起存储来确保等权力。 该系统还向计算机提供关于附加数据的广播,使得计算机之间的协调可以在计算机之间进行直接通信而发生。
    • 4. 发明申请
    • CONCURRENCY CONTROL FOR CONFLUENT TREES
    • 争议条约的同意控制
    • US20110320496A1
    • 2011-12-29
    • US12824254
    • 2010-06-28
    • Colin W. ReidPhilip A. Bernstein
    • Colin W. ReidPhilip A. Bernstein
    • G06F7/00G06F17/30
    • G06F17/30356
    • Architecture that addresses the efficient detection of conflicts and the merging of data structures such as trees, when possible. The process of detecting conflicts and merging the trees is a meld operation. Confluent trees offer transactional consistency with some degree of isolation, and scaling out a concurrent system based on confluent trees can be accomplished where the meld operation is more efficient than the transaction computations. Transactions execute optimistically using lazily versioned “intention trees” that efficiently describe dependencies and effects using structure and content version information for each intention subtree. The data structure is modified by melding the intention trees in sequence, which causes each transaction to either commit (producing an incremental new version of the data structure) or abort (identifying a conflict which prevents the intention tree from being melded). The architecture is computationally efficient and completes without needing to access much of each tree.
    • 解决冲突有效检测的架构,以及数据结构(如树木)的合并。 检测冲突和合并树木的过程是一个融合的行动。 融合树提供了一定程度的交互性隔离,并且在融合操作比交易计算更有效的情况下,可以实现基于汇合树的并行系统的扩展。 交易使用延迟版本的“意图树”乐观地执行,使用每个意图子树的结构和内容版本信息有效地描述依赖和效果。 数据结构通过按顺序合并意图树进行修改,这导致每个事务提交(产生数据结构的增量新版本)或中止(识别妨碍意图树的融合的冲突)。 该架构在计算上是有效的并且完成,而不需要访问每个树的大部分。
    • 5. 发明申请
    • APPEND-BASED SHARED PERSISTENT STORAGE
    • 基于附录的共享存储
    • US20100191919A1
    • 2010-07-29
    • US12360122
    • 2009-01-27
    • Philip A. BernsteinColin W. Reid
    • Philip A. BernsteinColin W. Reid
    • G06F12/08
    • G06F3/0659G06F3/0623G06F3/0638G06F3/0679G06F3/0688G06F12/0246G06F2212/1036G06F2212/7211
    • A shared storage system is described herein that is based on an append-only model of updating a storage device to allow multiple computers to access storage with lighter-weight synchronization than traditional systems and to reduce wear on flash-based storage devices. Appending data allows multiple computers to write to the same storage device without interference and without synchronization between the computers. Computers can also safely read a written page without using synchronization because the system limits how data can be changed once written. The system may record a log of append operations performed and ensure idempotence by storing a key specified by the caller in the log along with each log entry. The system also provides broadcasts about appended data to computers so that coordination between computers can occur without direct communication between the computers.
    • 这里描述了一种共享存储系统,其基于仅更新存储设备的附加模型,以允许多个计算机以比传统系统更轻的重量同步访问存储器,并减少基于闪存的存储设备的磨损。 附加数据允许多台计算机写入相同的存储设备而不会受到干扰,并且计算机之间没有同步。 计算机也可以安全地读取书面页面而不使用同步,因为系统限制了一旦写入数据后可以更改数据。 系统可以记录执行的附加操作的日志,并通过将日志中的主叫方指定的密钥与每个日志条目一起存储来确保等权力。 该系统还向计算机提供关于附加数据的广播,使得计算机之间的协调可以在计算机之间没有直接通信的情况下进行。
    • 9. 发明申请
    • Mapping composition using algebraic operators
    • 使用代数运算符绘制组合
    • US20080114785A1
    • 2008-05-15
    • US11599744
    • 2006-11-15
    • Philip A. BernsteinTodd J. GreenSergey MelnikAlan Nash
    • Philip A. BernsteinTodd J. GreenSergey MelnikAlan Nash
    • G06F7/00
    • G06F17/30569Y10S707/99932Y10S707/99933
    • A general-purpose reusable algebraic-based composition algorithm for composing mappings between data schemas. The algorithm handles more expressive mappings, makes a best-effort to eliminate symbols when a perfect answer cannot be obtained, includes new heuristics, and is extensible. A relational algebraic language is provided wherein each mapping is expressed as a set of constraints, and each constraint is either a containment or equality of two or more relational algebraic expressions. The composition mechanism exploits monotonicity properties of algebraic operators in operator arguments, handles NULLs and bag semantics, operates to allow composition to produce a partial result when a complete result is not possible, facilitates symbols elimination one symbol at a time using left composition, for example, as a way of isolating the symbols, supports making a best-effort to eliminate as many symbols as possible from an intermediate schema, and handles unknown or partially known operators via delayed handling.
    • 一种用于组合数据模式之间映射的通用可重用代数组合算法。 该算法处理更具表现力的映射,尽最大努力在无法获得完美答案时消除符号,包括新的启发式,并且是可扩展的。 提供了关系代数语言,其中每个映射被表示为一组约束,并且每个约束是两个或多个关系代数表达式的容纳或相等。 组合机制利用代数运算符在运算符参数中的单调性,处理NULL和包语义,运算以允许组合在不完整结果时产生部分结果,便于使用左组合一次使用符号消除一个符号 作为隔离符号的方法,支持尽最大努力从中间模式消除尽可能多的符号,并通过延迟处理来处理未知或部分已知的运算符。
    • 10. 发明授权
    • Methods and system for model matching
    • 模型匹配的方法和系统
    • US06826568B2
    • 2004-11-30
    • US10028912
    • 2001-12-20
    • Philip A. BernsteinJayant Madhavan
    • Philip A. BernsteinJayant Madhavan
    • G06F1730
    • G06F17/30917G06F17/30569Y10S707/99936Y10S707/99942
    • Systems and methods for automatically and generically matching models are provided, such as may be provided in a matching application or matching component, or provided in a general purpose system for managing models. The methods are generic since the methods apply to hierarchical data sets outside of any particular data model or application. Similarity coefficients are calculated for, and mappings are discovered between, schema elements based on their names, data types, constraints, and schema structure, using a broad set of techniques. Some of these techniques include the integrated use of linguistic and structural matching, context dependent matching of shared types, and a bias toward subtree, or leaf, structure where much of the schema content resides.
    • 提供了用于自动和一般匹配模型的系统和方法,例如可以在匹配的应用或匹配组件中提供,或者提供在用于管理模型的通用系统中。 这些方法是通用的,因为这些方法适用于任何特定数据模型或应用程序之外的分层数据集。 计算相似系数,并使用广泛的技术,基于其名称,数据类型,约束和模式结构,在模式元素之间发现映射。 这些技术中的一些包括语言和结构匹配的集成使用,共享类型的上下文相关匹配,以及大部分模式内容所在的子树或叶结构的偏见。