The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Sep. 02, 2014
Filed:
Aug. 10, 2012
Simon Kristiansen Ejsing, Copenhagen, DK;
Søren Lindegaard Grubov, Copenhagen, DK;
Simon Kristiansen Ejsing, Copenhagen, DK;
Søren Lindegaard Grubov, Copenhagen, DK;
Microsoft Corporation, Redmond, WA (US);
Abstract
A data source, such as a database, is modeled using state variables, state, and actions performed on the data source. State variable queries may be automatically generated by generating queries or functions based on intercepting data queries to a data source and using the intercepted data query language. State variable queries may automatically inspect data objects within the data store and automatically generate state variable values. The state variable queries or functions may be executed automatically after an action is run against a data source such that state information is automatically determined. Further, a graphical user interface used to modify, add and delete state information and automatic state variable queries associated with the verification model is described.