MYSQL中类似断言ASSERTION的操作--触发器

最新推荐文章于 2024-07-01 13:00:47 发布
原创 最新推荐文章于 2024-07-01 13:00:47 发布 · 5k 阅读 · 27 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文介绍如何通过MySQL触发器来限制参加小型联谊会的来宾总数不超过50人，包括创建触发器的具体步骤和实现原理。

MYSQL使用触发器完成类似断言的操作

问题描述

某单位想举行小型联谊会，关系Male记录注册的男宾信息，关系Female记录注册的女宾信息。建立一个断言，将来宾的人数限制在50人以内。

创建相对应的表

在这里插入图片描述

使用触发器解决题目的要求

因为MYSQL目前为止并不支持ASSERTION断言操作。
在这里插入图片描述
在这里插入图片描述

总结

因为两个表定义的ID号为not null ,所以如果总行数超过50，就会报错。因为对触发器也不是很熟悉，这里分别对两个表创建相对应的触发器，本来想创建一个触发器ON两个表，但会报错，不能实现，如果上述解决方法有错误请指正！谢谢。

PursuitK
关注
数据库作业13：SQL练习8 - CHECK / CONSTRAINT / TRIGGER / PROCEDURE/ FUNCTION
sjkylzy的博客
04-04 1982
5.2 参照完整性 5.2.1 参照完整性定义  关系模型的参照完整性定义  在CREATE TABLE中用FOREIGN KEY短语定义哪些列为外码  用REFERENCES短语指明这些外码参照哪些表的主码 例如，关系SC中（Sno，Cno）是主码。Sno，Cno分别参照Student表 的主码和Course表的主码 [例5.3]定义SC中的参照完整性 CREATE TABLE SC ...
【BUAA-数据管理技术】8-完整性约束
Gary_ming_的博客
06-28 1013
2024北航软件学院数据库管理系统课程笔记：8-完整性约束
mysql 断言,mysql触发器模拟断言
weixin_39935388的博客
02-18 270
Let’s consider tableVideo(IDvideo(PK),Date,Description,User)with mysql I have no way of writing assertions.Is it possible to simulate the following assertion using one or more triggers ?create asserti...
mysql断言命令_mysql的触发模拟断言
weixin_42426472的博客
01-26 687
嗯，问题是MySQL没有相应的STOP ACTION命令。所以基本上，变通是非常脏：一种方法是你可以违反约束的触发器内泡一个错误，取消插入：CREATE TABLE stop_action (id INT NOT NULL AUTO_INCREMENT PRIMARY KEY,name VARCHAR(35),UNIQUE KEY (id, name));INSERT INTO stop_acti...
mysql断言命令,类似于MySQL断言的约束
weixin_32601635的博客
03-18 986
我是MySQL的新手,我只是发现它不支持断言.我得到了这张桌子：CREATE TABLE `guest` (`ssn` varchar(16) NOT NULL,`name` varchar(200) NOT NULL,`surname` varchar(200) NOT NULL,`card_number` int(11) NOT NULL,PRIMARY KEY (`ssn`),KEY `ca...
mysql断言命令_笔记(assert 断言)
weixin_39792803的博客
02-02 2208
并发:在同一个时间段交替执行多个任务并行:在同一个时间点同时执行多个任务串行:同时执行的多个任务按顺序执行(换句话说就是一个任务执行完后才能执行下一个任务)#mysql limit用法: select * from table limit m,n;m表示第m+1条数据起(因为索引是从零开始的)n表示n行记录eg:当指定了位置偏移量时，从第3条起取4条时，可以这样写*/因为索引是从0开始计数的，所以...
mysql 断言,MySQL中的断言
weixin_39769091的博客
01-19 1022
I have a SQL script to run against a large database. I'd like to put a couple of simple queries at the start, just as a sanity check.Is there any way to write an assertion in MySQL? Or any kind of "...
数据库断言，触发器
03-18
### 数据库中的断言和触发器 #### 断言 (Assertions) 断言是一种数据库约束机制，用于强制执行复杂的业务规则。它通过定义布尔表达式来确保数据库状态始终满足特定条件。如果某个操作违反了断言所指定的条件，则该...
mysql备份mysql服务会停止
最新发布
10-25
你提到“**mysql备份mysql服务会停止**”，这通常意味着在执行备份操作时，MySQL 服务意外中断、崩溃或被手动停止。这是一个严重的问题，会影响数据一致性和系统可用性。 下面我们来详细分析可能的原因，并提供解决...
数据库第五章
Justafive的博客
04-25 1501
实体完整性例5.1 将STUDENT表中的SNO定义为码例5.2 将SC 表中的sno.cno定义为码实体完整性检车和违约处理参照完整性例5.2.1 定义参照完整性例5.4 显式说明参照完整性的违约处理示例用户定义的完整性例5.5 在定义SC表时,说明SNO CNO GRADE 属性不允许取空值例 5.6 建立部门表DEPT 要求部门名称 dname列取值唯一,编号 DEPTNO列为主码例5.7 student表的ssex只允许取男或者女例5.8 SC 表的GRADE 值应该在0 和100 之间例5.9 当
MySQL数据库之断言触发器
xiaoqiang616717的博客
01-30 1938
断言相当于自定义的约束条件，触发器当触发定义的条件后自动启动 断言：create assertion 断言名 子句 删断言：drop assertion 断言名 触发器：delimiter ？//改变符号 Create trigger 触发器名 (after/before)(delete/update/insert) on 表名 for each row begin ……end? ...
mysql断言命令_AssertJ断言系列-----------<数据库断言三>
weixin_42463480的博客
02-02 1029
其实，是有很多种数据断言的使用。那么，我们在接口的测试中，到底应不应该加上数据库断言呢？我的观点是，视情况而定；某一些特殊的场景或者特殊的业务，那么我们就一定要加上数据库断言。不是我们测试人员，不相信开发或者接口返回成功那么就一定会进入库。比如：支付类、流水类、账户余额等相关和金额相关，最好是前期就加入这些断言进入。那么我在实际工作中，也有遇到redis里面的数据也会进行断言。下面也是我之前的疑问...
MySQL的断言和触发器
weixin_48346473的博客
07-01 775
MySQL的断言和触发器
mysql assertion_Mysql异常崩溃，提示 Failing assertion: extern_len >= part_len
weixin_39706441的博客
01-19 1236
以前的Blog被新浪封了，以后就写在这里了。今天一个测试环境的Mysql忽然挂掉，其实Mysql是已经死掉了，但是ps仍能看到。Mysql的版本为5.0.38。在Mysqld的Log里输出如下信息：1 121112 9:57:36InnoDB: Assertion failure in thread 1153980752 in file btr0cur.c line 35912 InnoDB: ...
jmeter断言mysql_使用JMeter创建数据库（Mysql）测试
weixin_28877107的博客
01-14 166
我的环境：MySQL：mysql-essential-5.1.51-win32JMeter：jmeter-2.4 任意版本都行。1.首先我们要有一个可以做测试的数据库，当然，里面要有数据，不然怎么测呢？我的上一篇文章《Eclipse连接MySQL数据库(傻瓜篇)》，里面教你如何通过程序批量插入数据。来看一下我的数据：我可能有点啰嗦 :) 不管你用什么方式，你的数据库里要有点数据。2.打开JMe...
mysql 触发器 check_利用MySQL触发器实现check和assertion
weixin_29625757的博客
01-19 578
MySQL虽然输入check语句不会报错，但是实际上并没有check的功能。但是MySQL 依然可以利用触发器来实现相应功能。本文将根据两个例子简要阐述MySQL实现check和assertion的思路。注意signal异常处理功能在MySQL5.5版本以后才出现。之前的版本可以选择对相应值进行操作而不是报错。下文测试所用数据库版本为Server version: 10.1.21-MariaDB ...
mysql 断言_golang断言的使用（Type Assertion）
weixin_29473141的博客
02-18 309
golang的语言中提供了断言的功能。golang中的所有程序都实现了interface{}的接口，这意味着，所有的类型如string,int,int64甚至是自定义的struct类型都就此拥有了interface{}的接口，这种做法和java中的Object类型比较类似。那么在一个数据通过func funcName(interface{})的方式传进来的时候，也就意味着这个参数被自动的转为int...
接口自动化框架篇：Mysql数据库数据断言封装！
测试界的彭于晏的博客
04-22 515
在接口自动化测试中，数据断言是非常重要的一部分。而在实际的测试过程中，数据库的验证数据是非常常见的需求。本文将详细介绍如何使用Python编写一个MySQL数据库数据断言的封装。
Pytho测试MySQL数据断言_37- unittest之断言（assert）
weixin_39670441的博客
02-21 333
[TOC]前言在测试用例中，执行完测试用例后，最后一步是判断测试结果是pass还是fail，自动化测试脚本里面一般把这种生成测试结果的方法称为断言(assert)。用unittest组件测试用例的时候，断言的方法还是很多的，下面介绍几种常用的断言方法：assertEqual、assertIn、assertTrue.## 一、简单案例1. 下面写了4个case，其中第四个是执行失败的```impor...
cca中的assertion和de-assertion
08-22
<think>嗯，用户想了解CCA中的assertion和de-assertion的含义和使用场景。首先需要明确CCA的具体指代，因为不同领域可能有不同解释。根据用户提供的引用内容，特别是引用[1]和[3]，看起来用户可能是在讨论硬件验证或区块链智能合约相关的领域。 引用[1]提到了SystemVerilog断言在验证项目中的宏定义用法，引用[3]则涉及EOS区块链的inline action调用。结合这些线索，用户提到的CCA更可能是指硬件设计验证中的Cycle-Accurate Assertion（周期精确断言），或者智能合约中的条件检查机制。 在硬件验证领域，assertion通常指周期精确的声明性检查语句，用于在特定时钟周期验证信号行为。例如引用[1]中描述的"检查无复位时信号每个周期都变化"的场景。而de-assertion则指解除断言状态，比如复位信号从高电平变为低电平的动作。 在智能合约场景（如引用[3]的EOS示例），assertion可能指交易执行时的条件检查，比如余额验证或权限检查。De-assertion可能对应权限回收或状态回滚操作。 需要特别注意用户引用的三个片段：引用[1]明确关联硬件验证的断言宏定义，引用[2]讨论SLAM系统初始化与图优化，引用[3]展示区块链交易执行。虽然引用[2]看似无关，但用户可能是在跨领域参考"初始化"概念。 接下来组织回答时，应该分场景说明： 1. 硬件验证场景：断言作为静态/动态检查工具，用于验证协议时序 2. 智能合约场景：断言作为运行时保障机制 3. 通用概念：强调assertion是"声明条件成立"，de-assertion是"解除声明状态" 使用场景需要具体化，比如硬件中的总线协议检查、智能合约中的转账前置条件验证。同时要区分assertion作为语言特性（如SystemVerilog）和作为通用概念的不同层级含义。 最后生成的问题要引导用户明确技术领域，因为不同领域的实现差异很大。可以询问具体应用方向或提供示例代码解析。</think>在技术领域中，**assertion（断言）** 指主动声明某个条件必须为真，而 **de-assertion（解除断言）** 指撤销该声明或使条件失效。根据上下文（如硬件验证、区块链或协议设计），其具体含义如下： --- ### 一、核心概念 1. **Assertion** - **含义**：明确声明某个逻辑条件、状态或信号必须成立。若条件不满足，则触发错误或异常。 - **技术本质**： - 在硬件验证中：通过 `assert` 语句检查信号时序（如引用[1]的SV断言宏）[^1]。 - 在区块链中：验证交易条件（如引用[3]的EOS `transfer` 权限检查）[^3]。 - 在协议中：确保通信状态（如握手信号维持高电平）。 2. **De-assertion** - **含义**：主动撤销先前的断言状态，使条件不再被强制要求。 - **技术本质**： - 复位信号从高电平跳变为低电平（`reset` 解除）。 - 权限回收（如智能合约中撤销操作权限）。 --- ### 二、典型使用场景 #### 场景1：硬件验证（引用[1]示例） - **Assertion**：检查主从设备无复位时信号是否每个周期变化： ```systemverilog // 宏定义：检查信号在每个时钟沿变化 `define CHECK_SIGNAL_CHANGE(signal) \ assert property (@(posedge clk) !rst |-> $changed(signal)) ``` 应用：`CHECK_SIGNAL_CHANGE(master_data)` 确保主设备数据持续更新[^1]。 - **De-assertion**：当复位信号 `rst` 从1变为0时，解除对信号变化的强制检查。 #### 场景2：区块链交易（引用[3]示例） - **Assertion**：在执行转账前验证余额和权限： ```cpp action transfer() { require_auth(user); // 断言：用户必须有权操作 assert(balance >= amount, "Insufficient balance"); // 断言：余额充足 } ``` - **De-assertion**：交易
评论 2
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值