IntroductionSemantic information in

Introduction



Semantic information in databases is conventionally represented under the form of in-tegrity constraints. Integrity constraints are properties, typically depending on the nature of the application domain, that must always be satisfied for the data to be considered consistent. Besides simple forms of predefined constraints such as primary and foreign keys, real-world applications may involve nontrivial integrity requirements that capture complex data dependencies and “business logic”. The need for advanced integrity veri-fication tools is testified by the introduction of several standard constructs for integrity support in the SQL language, such as check constraints and assertions. In spite of a long recognition of the importance of such practices, which are part of the SQL standard since 1992, today’s database management systems are

Kết quả (Việt) 1:

Giới thiệuNgữ nghĩa thông tin trong cơ sở dữ liệu thông thường là đại diện dưới hình thức những hạn chế trong tegrity. Ràng buộc toàn vẹn có thuộc tính, thường phụ thuộc vào bản chất của các miền ứng dụng, mà luôn luôn phải được hài lòng cho các dữ liệu được coi là phù hợp. Bên cạnh các hình thức đơn giản được xác định trước những hạn chế như phím chính và nước ngoài, thực thế giới ứng dụng có thể liên quan đến yêu cầu tính toàn vẹn nontrivial nắm bắt dữ liệu phức tạp phụ thuộc và "logic kinh doanh". Sự cần thiết để nâng cao tính toàn vẹn veri-fication công cụ làm chứng bằng việc giới thiệu một số tiêu chuẩn xây dựng cho toàn vẹn hỗ trợ ngôn ngữ SQL, chẳng hạn như kiểm tra khó khăn và khẳng định. Mặc dù một công nhận tầm quan trọng của thực hành như vậy, đó là một phần của SQL chuẩn từ năm 1992, dài ngày hôm nay của hệ thống quản lý cơ sở dữ liệu

Kết quả (Việt) 2:

Giới thiệu thông tin ngữ nghĩa trong cơ sở dữ liệu quy ước là đại diện dưới hình thức hạn chế trong tegrity. Ràng buộc toàn vẹn là tài sản, thường phụ thuộc vào bản chất của miền ứng dụng, mà phải luôn luôn được hài lòng cho các dữ liệu được coi là phù hợp. Bên cạnh hình thức đơn giản của các ràng buộc được xác định trước như các khóa chính trong và ngoài nước, các ứng dụng thực thế giới có thể liên quan đến các yêu cầu về tính toàn vẹn không tầm thường mà chụp phụ thuộc dữ liệu phức tạp và "logic kinh doanh". Sự cần thiết cho công cụ vẹn veri-fication tiên tiến là làm chứng bằng việc giới thiệu một vài cấu trúc chuẩn cho hỗ trợ toàn vẹn trong ngôn ngữ SQL, chẳng hạn như chế kiểm tra và khẳng định. Bất chấp một sự công nhận từ lâu về tầm quan trọng của thực hành như vậy, đó là một phần của tiêu chuẩn SQL từ năm 1992, hệ thống quản lý cơ sở dữ liệu ngày nay