-
公开(公告)号:CN102385513B
公开(公告)日:2015-10-07
申请号:CN201110308242.3
申请日:2011-09-28
Applicant: 微软技术许可有限责任公司
IPC: G06F9/44
Abstract: 本发明涉及反应式编程的编程语言支持。提供程序语言支持以便于反应式编程。提供了在第一类模式和第二类模式之间开始转换的代码,其中模式相对于基于推的数据来操作。还提供了对根据例如迭代器模式来产生和消费基于推的数据的支持。
-
公开(公告)号:CN106911790A
公开(公告)日:2017-06-30
申请号:CN201710150318.1
申请日:2011-12-01
Applicant: 微软技术许可有限责任公司
IPC: H04L29/08
CPC classification number: G06F17/3089 , H04L65/4015 , H04L65/605
Abstract: 本文描述了混合同步和异步数据流。队列可存储基于接收到的数据请求和后续对于一个或多个数据源/服务器的订阅从服务器异步获取的数据流。例如,可管理队列以用于后续接收的数据流的同步或异步释放。
-
公开(公告)号:CN103020150B
公开(公告)日:2017-04-12
申请号:CN201210480057.7
申请日:2012-11-22
Applicant: 微软技术许可有限责任公司
IPC: G06F17/30
CPC classification number: G06F17/30412 , G06F17/30592
Abstract: 本发明公开了多维分组运算符。诸如语言集成查询(LINQ)对象之类的多维对象可基于分组集合运算符以及零个或多个键选择器而被生成。可利用该对象来在非关系数据源上查询。该对象可包括与同该分组集合运算符有关的每一分组对应的函数序列,以便提供多维分组表示。此外,该对象包括供优化执行该分组集合运算符的嵌套结构。
-
公开(公告)号:CN102929637B
公开(公告)日:2016-12-21
申请号:CN201210442015.4
申请日:2012-11-07
Applicant: 微软技术许可有限责任公司
IPC: G06F9/44
CPC classification number: G06F8/30 , G06F8/40 , G06F9/45516 , G06F17/246
Abstract: 本发明公开了反应性表达式生成和优化。促进反应性编程。可从非反应性表达式或换言之标准表达式自动生成反应性表达式。作为附加或替换,可按多种不同方式优化反应性表达式以使计算工作最小化。
-
公开(公告)号:CN102508852B
公开(公告)日:2016-04-20
申请号:CN201110296894.X
申请日:2011-09-22
Applicant: 微软技术许可有限责任公司
Inventor: H·J·M·梅杰
IPC: G06F17/30
CPC classification number: G06F17/30294 , G06F17/30595 , G06F17/30604 , G06F17/30917
Abstract: 本发明涉及数据模型对偶化。一数据模型可通过对偶化另一数据模型来生成。换言之,可将第一数据模型变换成第二数据模型,其中第二数据模型是第一数据模型的数学对偶。例如,可通过对偶化关系数据模型来生成非关系数据模型。
-
公开(公告)号:CN102930025B
公开(公告)日:2016-03-23
申请号:CN201210435249.6
申请日:2012-11-02
Applicant: 微软技术许可有限责任公司
IPC: G06F17/30
CPC classification number: G06F16/2477
Abstract: 提供一种用于处理大数据的属性和区间的系统和方法。提供了用于处理大数据的数据管理技术。数据管理过程可通过分析或解释数据、基于该数据将区间分配给属性、以及基于属性和区间执行便于数据管理的策略来考虑数据的属性。此外,该数据管理过程可确定数据集中的数据之间的关系,并基于属性、区间以及策略产生与该数据有关的近似结果并存储这些近似结果。
-
公开(公告)号:CN102402420B
公开(公告)日:2015-08-26
申请号:CN201110321768.5
申请日:2011-10-10
Applicant: 微软技术许可有限责任公司
IPC: G06F9/30
CPC classification number: G06F8/427
Abstract: 本发明涉及解析可观察集合。解析技术被应用于可观察集合。更具体而言,诸如组合符解析器等解析器能被用来对一个或多个可观察集合执行句法分析。进而,多个可观察集合可被组合为单一集合且可通过注释集合项或生成时间项来捕捉时间。
-
公开(公告)号:CN104221017B
公开(公告)日:2018-05-22
申请号:CN201380019331.3
申请日:2013-04-08
Applicant: 微软技术许可有限责任公司
IPC: G06F17/30
CPC classification number: G06F17/30758 , G06F17/30303 , G06F17/30395 , G06F17/3053 , G06F17/30539 , G06F17/30595 , G06F17/30722 , G06F17/30867
Abstract: 在一个实施例中,数据集被存储在目录中。通过建立不同数据集中的域之间的关系来丰富这些数据集。用户通过提供感兴趣的域的示例来搜索相关的数据集。该系统标识与用户提供的示例相对应的数据集。该系统随后标识这些数据集中直接链接或通过其他域间接链接的连接子集。用户提供已知的关系示例以过滤连接子集并标识与用户的查询最相关的连接子集。所选的连接子集可以被业务智能/分析进一步分析以创建数据透视表或处理该数据。
-
公开(公告)号:CN102541993B
公开(公告)日:2018-01-30
申请号:CN201110364417.2
申请日:2011-11-02
Applicant: 微软技术许可有限责任公司
Inventor: H·J·M·梅杰
CPC classification number: G06F9/46
Abstract: 本申请是用于分布式计算的电子表格模型。使用电子表格模型来方便分布式计算。一般化电子表格和单元格以对应尤其可以彼此远离的任意数据源。可以相对于这些任意数据源指定函数以产生数据组合或混搭,并且改变启动相对于依赖数据源的重新计算。
-
公开(公告)号:CN102339316B
公开(公告)日:2017-08-08
申请号:CN201110306389.9
申请日:2011-09-26
Applicant: 微软技术许可有限责任公司
CPC classification number: G06F17/30427 , G06F8/427
Abstract: 本发明涉及使用基于类型的状态机的查询约束编码。可根据对目标编程语言的查询约束进行编码的基于类型的状态机来分析源编程语言中指定的查询。基于类型的状态机可将这样的约束编码为表示状态的类型以及表示状态或类型之间的转换的方法。
-
-
-
-
-
-
-
-
-